Artificial Intelligence

Authors and titles for January 2014

[151] arXiv:1401.2482 (cross-list from cs.MM) [pdf, other]

Title: STIMONT: A core ontology for multimedia stimuli description

Marko Horvat, Nikola Bogunović, Krešimir Ćosić

Comments: 27 pages, 13 figures

Journal-ref: Multimedia tools and applications, 11042, July 2013

Subjects: Multimedia (cs.MM); Artificial Intelligence (cs.AI)

[152] arXiv:1401.2657 (cross-list from cs.CY) [pdf, other]

Title: The Missing Ones: Key Ingredients Towards Effective Ambient Assisted Living Systems

Hong Sun, Vincenzo De Florio, Ning Gui, Chris Blondia

Journal-ref: Journal of Ambient Intelligence and Smart Environments, Volume 2 Issue 2, April 2010 Pages 109-120 IOS Press Amsterdam, The Netherlands, The Netherlands

Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI)

[153] arXiv:1401.3426 (cross-list from cs.GT) [pdf, other]

Title: Networks of Influence Diagrams: A Formalism for Representing Agents' Beliefs and Decision-Making Processes

Yaakov Gal, Avi Pfeffer

Journal-ref: Journal Of Artificial Intelligence Research, Volume 33, pages 109-147, 2008

Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI)

[154] arXiv:1401.3427 (cross-list from cs.LG) [pdf, other]

Title: Analogical Dissimilarity: Definition, Algorithms and Two Experiments in Machine Learning

Laurent Miclet, Sabri Bayoudh, Arnaud Delhay

Journal-ref: Journal Of Artificial Intelligence Research, Volume 32, pages 793-824, 2008

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)

[155] arXiv:1401.3441 (cross-list from cs.LG) [pdf, other]

Title: Transductive Rademacher Complexity and its Applications

Ran El-Yaniv, Dmitry Pechyony

Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 193-234, 2009

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)

[156] arXiv:1401.3462 (cross-list from cs.RO) [pdf, other]

Title: Efficient Informative Sensing using Multiple Robots

Amarjeet Singh, Andreas Krause, Carlos Guestrin, William J. Kaiser

Journal-ref: Journal Of Artificial Intelligence Research, Volume 34, pages 707-755, 2009

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI)

[157] arXiv:1401.3463 (cross-list from cs.LO) [pdf, other]

Title: Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability

Roberto Sebastiani, Michele Vescovi

Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 343-389, 2009

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[158] arXiv:1401.3464 (cross-list from cs.NE) [pdf, other]

Title: Learning Bayesian Network Equivalence Classes with Ant Colony Optimization

Rónán Daly, Qiang Shen

Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 391-447, 2009

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[159] arXiv:1401.3466 (cross-list from cs.MA) [pdf, other]

Title: An Anytime Algorithm for Optimal Coalition Structure Generation

Talal Rahwan, Sarvapali Dyanand Ramchurn, Nicholas Robert Jennings, Andrea Giovannucci

Journal-ref: Journal Of Artificial Intelligence Research, Volume 34, pages 521-567, 2009

Subjects: Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI)

[160] arXiv:1401.3472 (cross-list from cs.LO) [pdf, other]

Title: Variable Forgetting in Reasoning about Knowledge

Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang

Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 677-716, 2009

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[161] arXiv:1401.3475 (cross-list from cs.LO) [pdf, other]

Title: Prime Implicates and Prime Implicants: From Propositional to Modal Logic

Meghyn Bienvenu

Journal-ref: Journal Of Artificial Intelligence Research, Volume 36, pages 71-128, 2009

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[162] arXiv:1401.3476 (cross-list from cs.LO) [pdf, other]

Title: The Complexity of Circumscription in DLs

Piero A. Bonatti, Carsten Lutz, Frank Wolter

Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 717-773, 2009

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[163] arXiv:1401.3478 (cross-list from cs.LG) [pdf, other]

Title: Efficient Markov Network Structure Discovery Using Independence Tests

Facundo Bromberg, Dimitris Margaritis, Vasant Honavar

Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 449-484, 2009

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)

[164] arXiv:1401.3482 (cross-list from cs.CL) [pdf, other]

Title: Enhancing QA Systems with Complex Temporal Question Processing Capabilities

Estela Saquete, Jose Luis Vicedo, Patricio Martínez-Barco, Rafael Muñoz, Hector Llorens

Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 775-811, 2009

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Information Retrieval (cs.IR)

[165] arXiv:1401.3484 (cross-list from cs.LO) [pdf, other]

Title: Modularity Aspects of Disjunctive Stable Models

Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran

Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 813-857, 2009

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[166] arXiv:1401.3485 (cross-list from cs.LO) [pdf, other]

Title: Hypertableau Reasoning for Description Logics

Boris Motik, Rob Shearer, Ian Horrocks

Journal-ref: Journal Of Artificial Intelligence Research, Volume 36, pages 165-228, 2009

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[167] arXiv:1401.3487 (cross-list from cs.LO) [pdf, other]

Title: The DL-Lite Family and Relations

Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev

Journal-ref: Journal Of Artificial Intelligence Research, Volume 36, pages 1-69, 2009

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[168] arXiv:1401.3531 (cross-list from cs.LG) [pdf, other]

Title: Highly comparative feature-based time-series classification

Ben D. Fulcher, Nick S. Jones

Journal-ref: IEEE Trans. Knowl. Data Eng. 26, 3026 (2014)

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Databases (cs.DB); Data Analysis, Statistics and Probability (physics.data-an); Quantitative Methods (q-bio.QM)

[169] arXiv:1401.3579 (cross-list from cs.GT) [pdf, other]

Title: A Supervised Goal Directed Algorithm in Economical Choice Behaviour: An Actor-Critic Approach

Keyvan Yahya

Comments: Must be more flourished and fostered

Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[170] arXiv:1401.3840 (cross-list from cs.LO) [pdf, other]

Title: Grounding FO and FO(ID) with Bounds

Johan Wittocx, Maarten Mariën, Marc Denecker

Journal-ref: Journal Of Artificial Intelligence Research, Volume 38, pages 223-269, 2010

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[171] arXiv:1401.3843 (cross-list from cs.CG) [pdf, other]

Title: Theta*: Any-Angle Path Planning on Grids

Kenny Daniel, Alex Nash, Sven Koenig, Ariel Felner

Journal-ref: Journal Of Artificial Intelligence Research, Volume 39, pages 533-579, 2010

Subjects: Computational Geometry (cs.CG); Artificial Intelligence (cs.AI)

[172] arXiv:1401.3844 (cross-list from cs.GT) [pdf, other]

Title: Multiattribute Auctions Based on Generalized Additive Independence

Yagil Engel, Michael P. Wellman

Journal-ref: Journal Of Artificial Intelligence Research, Volume 37, pages 479-525, 2010

Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI)

[173] arXiv:1401.3845 (cross-list from cs.MA) [pdf, other]

Title: Resource-Driven Mission-Phasing Techniques for Constrained Agents in Stochastic Environments

Jianhui Wu, Edmund H. Durfee

Journal-ref: Journal Of Artificial Intelligence Research, Volume 38, pages 415-473, 2010

Subjects: Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI)

[174] arXiv:1401.3849 (cross-list from cs.LO) [pdf, other]

Title: Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!

Sebastian Rudolph, Birte Glimm

Journal-ref: Journal Of Artificial Intelligence Research, Volume 39, pages 429-481, 2010

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[175] arXiv:1401.3855 (cross-list from cs.GT) [pdf, other]

Title: Algorithms for Closed Under Rational Behavior (CURB) Sets

Michael Benisch, George B. Davis, Tuomas Sandholm

Journal-ref: Journal Of Artificial Intelligence Research, Volume 38, pages 513-534, 2010

Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI)