VOOZH about

URL: https://arxiv.org/list/cs.AI/2014-04

⇱ Artificial Intelligence Apr 2014

Artificial Intelligence

Authors and titles for April 2014

Total of 74 entries : 1-50 51-74
Showing up to 50 entries per page: fewer | more | all
arXiv:1404.0099 [pdf, other]
Title: Venture: a higher-order probabilistic programming platform with programmable inference
Comments: 78 pages
Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Computation (stat.CO); Machine Learning (stat.ML)
arXiv:1404.0540 [pdf, other]
Title: Modeling contaminant intrusion in water distribution networks based on D numbers
Comments: 20 pages, 3 figures
Subjects: Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE)
arXiv:1404.0640 [pdf, other]
Title: Conceptive Artificial Intelligence: Insights from design theory
Journal-ref: International Design Conference DESIGN2014, Croatia (2014)
Subjects: Artificial Intelligence (cs.AI)
arXiv:1404.1140 [pdf, other]
Title: Scalable Planning and Learning for Multiagent POMDPs: Extended Version
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
arXiv:1404.1511 [pdf, other]
Title: MTD(f), A Minimax Algorithm Faster Than NegaScout
Subjects: Artificial Intelligence (cs.AI)
arXiv:1404.1515 [pdf, other]
Title: A New Paradigm for Minimax Search
Comments: Novag Award 1994-1995 Best Computer Chess publication
Subjects: Artificial Intelligence (cs.AI)
arXiv:1404.1517 [pdf, other]
Title: SSS* = Alpha-Beta + TT
Subjects: Artificial Intelligence (cs.AI)
arXiv:1404.1518 [pdf, other]
Title: Nearly Optimal Minimax Tree Search?
Subjects: Artificial Intelligence (cs.AI)
arXiv:1404.1685 [pdf, other]
Title: Thou Shalt is not You Will
Journal-ref: Fifteenth International Conference on Artificial Intelligence and Law (ICAIL 2015), pp. 63-68
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
arXiv:1404.1718 [pdf, other]
Title: Applications of Algorithmic Probability to the Philosophy of Mind
Comments: 13 pages
Subjects: Artificial Intelligence (cs.AI)
arXiv:1404.1812 [pdf, other]
Title: Determining the Consistency factor of Autopilot using Rough Set Theory
Comments: IEEE International Conference on Networking, Sensing and Control 2014
Subjects: Artificial Intelligence (cs.AI)
arXiv:1404.1884 [pdf, other]
Title: Plug and Play! A Simple, Universal Model for Energy Disaggregation
Comments: 12 pages, 5 figures, and 4 tables
Subjects: Artificial Intelligence (cs.AI)
arXiv:1404.2116 [pdf, other]
Title: Rational Counterfactuals
Comments: To appear in Artificial Intelligence for Rational Decision Making (Springer-Verlag)
Subjects: Artificial Intelligence (cs.AI)
arXiv:1404.2162 [pdf, other]
Title: The NNN Formalization: Review and Development of Guideline Specification in the Care Domain
Subjects: Artificial Intelligence (cs.AI)
arXiv:1404.2267 [pdf, other]
Title: Transparallel mind: Classical computing with quantum power
Comments: 38 pages (incl. Appendix with proofs), 10 figures, Supplementary Material (incl. algorithm) available at this http URL. Minor revision: added 2 figures, 7 references, and a few clarifications
Subjects: Artificial Intelligence (cs.AI)
arXiv:1404.2313 [pdf, other]
Title: Outer-Product Hidden Markov Model and Polyphonic MIDI Score Following
Comments: 42 pages, 8 figures, version submitted to JNMR. To appear in Journal of New Music Research (2014)
Journal-ref: Journal of New Music Research, Vol. 43, No. 2 (2014) 183-201
Subjects: Artificial Intelligence (cs.AI); Sound (cs.SD)
arXiv:1404.2314 [pdf, other]
Title: A Stochastic Temporal Model of Polyphonic MIDI Performance with Ornaments
Comments: 35 pages, 6 figures, some explanations and evaluation results added, version accepted to JNMR
Journal-ref: Journal of New Music Research, Vol. 44, No. 4 (2015) 287-304
Subjects: Artificial Intelligence (cs.AI); Sound (cs.SD)
arXiv:1404.2768 [pdf, other]
Title: Verification of confliction and unreachability in rule-based expert systems with model checking
Comments: 7 pages
Subjects: Artificial Intelligence (cs.AI)
arXiv:1404.2984 [pdf, other]
Title: Distribution-Aware Sampling and Weighted Model Counting for SAT
Comments: This is a full version of AAAI 2014 paper
Subjects: Artificial Intelligence (cs.AI); Data Structures and Algorithms (cs.DS)
arXiv:1404.3141 [pdf, other]
Title: Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
Comments: 14 pages. To appear at AAAI-14
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
arXiv:1404.3285 [pdf, other]
Title: An Integer Programming Model for the Dynamic Location and Relocation of Emergency Vehicles: A Case Study
Comments: Proceedings of the 12th International Symposium on Operational Research (SOR'2013), Slovenia, September 2013, pp. 343-350, (2013)
Subjects: Artificial Intelligence (cs.AI)
arXiv:1404.3301 [pdf, other]
Title: Efficient Inference and Learning in a Large Knowledge Base: Reasoning with Extracted Information using a Locally Groundable First-Order Probabilistic Logic
Comments: arXiv admin note: substantial text overlap with arXiv:1305.2254
Subjects: Artificial Intelligence (cs.AI)
arXiv:1404.3370 [pdf, other]
Title: Distance function of D numbers
Comments: 29 pages, 7 figures
Subjects: Artificial Intelligence (cs.AI)
arXiv:1404.3659 [pdf, other]
Title: Avoiding Undesired Choices Using Intelligent Adaptive Systems
Journal-ref: International Journal of Artificial Intelligence & Applications (IJAIA), Vol. 5, No. 2, March 2014
Subjects: Artificial Intelligence (cs.AI)
arXiv:1404.3675 [pdf, other]
Title: On Backdoors To Tractable Constraint Languages
Comments: 16 pages
Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC)
arXiv:1404.4089 [pdf, other]
Title: On the Role of Canonicity in Bottom-up Knowledge Compilation
Subjects: Artificial Intelligence (cs.AI)
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)
arXiv:1404.4274 [pdf, 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)
arXiv:1404.4785 [pdf, other]
Title: Ontology as a Source for Rule Generation
Subjects: Artificial Intelligence (cs.AI)
arXiv:1404.4789 [pdf, other]
Title: A new combination approach based on improved evidence distance
Comments: 14 pages, 1 figures
Subjects: Artificial Intelligence (cs.AI)
arXiv:1404.4801 [pdf, other]
Title: Generalized Evidence Theory
Comments: 39 pages, 5 figures
Subjects: Artificial Intelligence (cs.AI)
arXiv:1404.4884 [pdf, other]
Title: Causal Interfaces
Comments: 20 pages, 3 figures
Subjects: Artificial Intelligence (cs.AI); Statistics Theory (math.ST)
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)
arXiv:1404.4983 [pdf, other]
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)
arXiv:1404.5078 [pdf, other]
Title: TurKPF: TurKontrol as a Particle Filter
Comments: 8 pages, 6 figures, formula appendix
Subjects: Artificial Intelligence (cs.AI)
arXiv:1404.5454 [pdf, other]
Title: Stochastic Privacy
Subjects: Artificial Intelligence (cs.AI)
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)
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)
arXiv:1404.6036 [pdf, other]
Title: Gradual Classical Logic for Attributed Objects
Ryuta Arisaka (INRIA Saclay - Ile de France)
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
arXiv:1404.6059 [pdf, other]
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)
arXiv:1404.6445 [pdf, 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)
arXiv:1404.6566 [pdf, 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)
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)
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)
arXiv:1404.6784 [pdf, 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)
arXiv:1404.6883 [pdf, other]
Title: Credulous and Skeptical Argument Games for Complete Semantics in Conflict Resolution based Argumentation
Comments: appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)
Subjects: Artificial Intelligence (cs.AI)
arXiv:1404.6974 [pdf, other]
Title: Deontic Logic for Human Reasoning
Subjects: Artificial Intelligence (cs.AI)
arXiv:1404.6999 [pdf, 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)
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)
arXiv:1404.7205 [pdf, 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-50 51-74
Showing up to 50 entries per page: fewer | more | all