IJCAI

Towards A Theory-Of-Mind-Inspired Generic Decision-Making Framework

Mihai Polceanu, Cédric Buche

Comments 7 pages, 5 figures, IJCAI 2013 Symposium on AI in Angry Birds

A General Framework for Interacting Bayes-Optimally with Self-Interested Agents using Arbitrary Parametric Model and Model Prior

Trong Nghia Hoang, Kian Hsiang Low

Comments 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Extended version with proofs, 10 pages

Backdoors to Tractable Answer-Set Programming

Johannes Klaus Fichte, Stefan Szeider

Comments This paper extends and updates papers that appeared in the proceedings of IJCAI'11 (arXiv:1104.2788) and ESSLLI'11 (arXiv:1205.3663). We provide a higher detail level, full proofs and more examples; present new results on preprocessing, a general method to lift parameters from normal programs to disjunctive programs, and a theoretical comparison of ASP-parameters; and provide some empirical data

An n-ary Constraint for the Stable Marriage Problem

Chris Unsworth, Patrick Prosser

Comments 7 pages. The Fifth Workshop on Modelling and Solving Problems with Constraints, held at the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005)

Flavor Pairing in Medieval European Cuisine: A Study in Cooking with Dirty Data

Kush R. Varshney, Lav R. Varshney, Jun Wang, Daniel Myers

Comments IJCAI

Penetration Testing == POMDP Solving?

Carlos Sarraute, Olivier Buffet, Joerg Hoffmann

Comments Proceedings of the 3rd Workshop on Intelligent Security (SecArt'11), at IJCAI'11

Towards Rational Deployment of Multiple Heuristics in A*

David Tolpin, Tal Beja, Solomon Eyal Shimony, Ariel Felner, Erez Karpas

Comments 7 pages, IJCAI 2013, to appear

Temporal Description Logic for Ontology-Based Data Access (Extended Version)

Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev

Comments Full version of the IJCAI 2013 paper

Learning Visual Symbols for Parsing Human Poses in Images

Fang Wang, Yi Li

Comments IJCAI 2013

A Social Welfare Optimal Sequential Allocation Procedure

Thomas Kalinowski, Nina Nardoytska, Toby Walsh

Comments To appear in the Proceedings of IJCAI 2013, International Joint Conference on Artificial Intelligence

Three Generalizations of the FOCUS Constraint

Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh

Journal ref IJCAI 2013 proceedings

Backdoors to Abduction

Andreas Pfandler, Stefan Rümmele, Stefan Szeider

Comments 12 pages, a short version will appear in the proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)

Bargaining for Revenue Shares on Tree Trading Networks

Arpita Ghosh, Satyen Kale, Kevin Lang, Benjamin Moseley

Comments An extended abstract of this paper appears in Proceedings of IJCAI 2013

Interactive POMDP Lite: Towards Practical Planning to Predict and Exploit Intentions for Interacting with Self-Interested Agents

Trong Nghia Hoang, Kian Hsiang Low

Comments 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Extended version with proofs, 24 pages

Computing Datalog Rewritings beyond Horn Ontologies

Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks

Comments 14 pages. To appear at IJCAI 2013

Mining the Web for the Voice of the Herd to Track Stock Market Bubbles

Aaron Gerow, Mark Keane

Comments Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI '11), Barcelona, Spain, 16-22 July, 2011

Tractable Set Constraints

Manuel Bodirsky, Martin Hils, Alex Krimkevich

Comments An extended abstract of this paper appears in Proceedings of IJCAI-11. The third author left the author team for the preparation of the journal version. Several mistakes in the proofs have been removed

Revisiting Numerical Pattern Mining with Formal Concept Analysis

Mehdi Kaytoue, Sergei O. Kuznetsov, Amedeo Napoli

Journal ref International Joint Conference on Artificial Intelligence (IJCAI) (2011)

A KIF Formalization for the IFF Category Theory Ontology

Robert E. Kent

Comments Paper presented at the Standard Upper Ontology workshop of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), August, 2001, Seattle, Washington

Semantic-ontological combination of Business Rules and Business Processes in IT Service Management

Alexander Sellner, Christopher Schwarz, Erwin Zinser

Comments Proceedings of the Doctoral Consortium and Poster Session of the 5th International Symposium on Rules (RuleML 2011@IJCAI), pages 33-40 (arXiv:1107.1686)

Rule-based query answering method for a knowledge base of economic crimes

Jaroslaw Bak

Comments Proceedings of the Doctoral Consortium and Poster Session of the 5th International Symposium on Rules (RuleML 2011@IJCAI), pages 25-32 (arXiv:1107.1686)

Translation-based Constraint Answer Set Solving

Christian Drescher, Toby Walsh

Comments Self-archived version for IJCAI'11 Best Paper Track submission

Description Logic TBoxes: Model-theoretic Characterizations and Rewritability

Carsten Lutz, Robert Piro, Frank Wolter

Comments Submitted and accepted for IJCAI 2011

Augmenting Tractable Fragments of Abstract Argumentation

Sebastian Ordyniak, Stefan Szeider

Comments accepted for ijcai 2011

Rational Deployment of CSP Heuristics

David Tolpin, Solomon Eyal Shimony

Comments 7 pages, 2 figures, to appear in IJCAI-2011, http://www.ijcai.org/

Journal ref IJCAI-2011

On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces

Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev

Comments Accepted for publication in the IJCAI 2011 proceedings

An Object-Oriented Metamodel for Bunge-Wand-Weber Ontology

Arvind W. Kiwelekar, Rushikesh K. Joshi

Comments 8 Pages, 7 Tables, 8 Figures

Journal ref Kiwelekar, A.W., Joshi, R.K.: An object oriented metamodel for bunge-wand- weber ontology. In: In Proc. of SWeCKa 2007, Workshop on Semantic Web for Collaborative Knowledge Acquisition at IJCAI 2007. (January 2007)

Exponential Family Hybrid Semi-Supervised Learning

Arvind Agarwal, Hal Daume

Comments 6 pages, 3 figures

Journal ref Twenty-First International Joint Conference on Artificial Intelligence 2009, pg 974-979

Universal Voting Protocol Tweaks to Make Manipulation Hard

Vincent Conitzer, Tuomas Sandholm

Journal ref In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-03), Acapulco, Mexico, 2003

Complexity of Determining Nonemptiness of the Core

Vincent Conitzer, Tuomas Sandholm

Journal ref In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-03), Acapulco, Mexico, 2003