We gratefully acknowledge support from
the Simons Foundation and member institutions.

Artificial Intelligence

Authors and titles for cs.AI in Apr 2014, skipping first 25

[ total of 74 entries: 1-25 | 26-50 | 51-74 ]
[ showing 25 entries per page: fewer | more | all ]
[26]  arXiv:1404.4089 [pdf, other]
Title: On the Role of Canonicity in Bottom-up Knowledge Compilation
Subjects: Artificial Intelligence (cs.AI)
[27]  arXiv:1404.4258 [pdf, other]
Title: An Analysis of State-Relevance Weights and Sampling Distributions on L1-Regularized Approximate Linear Programming Approximation Accuracy
Comments: Identical to the ICML 2014 paper of the same name, but with full proofs. Please cite the ICML paper
Subjects: Artificial Intelligence (cs.AI)
[28]  arXiv:1404.4274 [pdf, ps, other]
Title: Managing Change in Graph-structured Data Using Description Logics (long version with appendix)
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[29]  arXiv:1404.4785 [pdf]
Title: Ontology as a Source for Rule Generation
Authors: Olegs Verhodubs
Subjects: Artificial Intelligence (cs.AI)
[30]  arXiv:1404.4789 [pdf, ps, other]
Title: A new combination approach based on improved evidence distance
Comments: 14 pages, 1 figures
Subjects: Artificial Intelligence (cs.AI)
[31]  arXiv:1404.4801 [pdf, ps, other]
Title: Generalized Evidence Theory
Authors: Yong Deng
Comments: 39 pages, 5 figures
Subjects: Artificial Intelligence (cs.AI)
[32]  arXiv:1404.4884 [pdf, ps, other]
Title: Causal Interfaces
Authors: David A. Eubanks
Comments: 20 pages, 3 figures
Subjects: Artificial Intelligence (cs.AI); Statistics Theory (math.ST)
[33]  arXiv:1404.4893 [pdf, other]
Title: CTBNCToolkit: Continuous Time Bayesian Network Classifier Toolkit
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Mathematical Software (cs.MS)
[34]  arXiv:1404.4983 [pdf]
Title: Shiva++: An Enhanced Graph based Ontology Matcher
Comments: arXiv admin note: text overlap with arXiv:1403.7465
Journal-ref: International Journal of Computer Applications 92(16):30-34, April 2014
Subjects: Artificial Intelligence (cs.AI)
[35]  arXiv:1404.5078 [pdf]
Title: TurKPF: TurKontrol as a Particle Filter
Comments: 8 pages, 6 figures, formula appendix
Subjects: Artificial Intelligence (cs.AI)
[36]  arXiv:1404.5454 [pdf, other]
Title: Stochastic Privacy
Subjects: Artificial Intelligence (cs.AI)
[37]  arXiv:1404.5643 [pdf, other]
Title: A Formal Analysis of Required Cooperation in Multi-agent Planning
Subjects: Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)
[38]  arXiv:1404.5668 [pdf, other]
Title: An Adversarial Interpretation of Information-Theoretic Bounded Rationality
Comments: 7 pages, 4 figures. Proceedings of AAAI-14
Subjects: Artificial Intelligence (cs.AI)
[39]  arXiv:1404.6036 [pdf, ps, other]
Title: Gradual Classical Logic for Attributed Objects
Authors: Ryuta Arisaka (INRIA Saclay - Ile de France)
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[40]  arXiv:1404.6059 [pdf]
Title: A Comparative study Between Fuzzy Clustering Algorithm and Hard Clustering Algorithm
Comments: Data Clustering,6 pages,6 figures,Published with International Journal of Computer Trends and Technology (IJCTT)
Journal-ref: International Journal of Computer Trends and Technology (IJCTT) V10(2):108-113, Apr 2014. ISSN:2231-2803
Subjects: Artificial Intelligence (cs.AI)
[41]  arXiv:1404.6445 [pdf, ps, other]
Title: Belief merging within fragments of propositional logic
Comments: To appear in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[42]  arXiv:1404.6566 [pdf, ps, other]
Title: On the Non-Monotonic Description Logic $\mathcal{ALC}$+T$_{\mathsf{min}}$
Comments: Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)
Subjects: Artificial Intelligence (cs.AI)
[43]  arXiv:1404.6567 [pdf, other]
Title: Une approche CSP pour l'aide à la localisation d'erreurs
Comments: 10 pages, in French
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[44]  arXiv:1404.6696 [pdf, other]
Title: Hybrid Metaheuristics for the Clustered Vehicle Routing Problem
Comments: Working Paper, MIT -- 22 pages
Subjects: Artificial Intelligence (cs.AI)
[45]  arXiv:1404.6784 [pdf, ps, other]
Title: On Strong and Default Negation in Logic Program Updates (Extended Version)
Comments: 14 pages, extended version of the paper to appear in the online supplement of Theory and Practice of Logic Programming (TPLP), and presented at the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014) and at the 30th International Conference on Logic Programming (ICLP 2014)
Subjects: Artificial Intelligence (cs.AI)
[46]  arXiv:1404.6883 [pdf, ps, other]
Title: Credulous and Skeptical Argument Games for Complete Semantics in Conflict Resolution based Argumentation
Authors: Jozef Frtús
Comments: appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)
Subjects: Artificial Intelligence (cs.AI)
[47]  arXiv:1404.6974 [pdf, other]
Title: Deontic Logic for Human Reasoning
Subjects: Artificial Intelligence (cs.AI)
[48]  arXiv:1404.6999 [pdf, ps, other]
Title: Preliminary Report on WASP 2.0
Comments: The paper appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)
Subjects: Artificial Intelligence (cs.AI)
[49]  arXiv:1404.7173 [pdf, other]
Title: Nonmonotonic Reasoning as a Temporal Activity
Comments: Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014), Vienna, Austria, 17-19 July 2014
Subjects: Artificial Intelligence (cs.AI)
[50]  arXiv:1404.7205 [pdf, ps, other]
Title: Generalizing Modular Logic Programs
Comments: Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[ total of 74 entries: 1-25 | 26-50 | 51-74 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2306, contact, help  (Access key information)