| Scheduled Conference | Title | |
| Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning | A Bipolar Framework for Combining Beliefs about Vague Propositions | Abstract |
| Jonathan Lawry, Didier Dubois | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | A Characterization of Optimality Criteria for Decision Making under Complete Ignorance | Abstract |
| Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | A Class of df-Consistencies for Qualitative Constraint Networks | Abstract |
| Jean-François Condotta, Christophe Lecoutre | ||
| Sixteenth International Conference on Principles of Knowledge Representation and Reasoning | A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics | Abstract |
| Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | A Correctness Result for Reasoning about One-Dimensional Planning Problems | Abstract |
| Yuxiao Hu, Hector J. Levesque | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | A Decidable Class of Groundable Formulas in the General Theory of Stable Models | Abstract |
| Michael Bartholomew, Joohyung Lee | ||
| Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning | A Dynamic Logic Framework for Abstract Argumentation | Abstract |
| Sylvie Doutre, Andreas Herzig, Laurent Perrussel | ||
| Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning | A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations | Abstract |
| Fangzhen Lin | ||
| Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning | A Formalization of Programs in First-Order Logic with a Discrete Linear Order | Abstract |
| Fangzhen Lin | ||
| Sixteenth International Conference on Principles of Knowledge Representation and Reasoning | A General Approach to Reasoning with Probabilities — Extended Abstract | Abstract |
| Federico Cerutti, Matthias Thimm | ||
| Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning | A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering | Abstract |
| Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia | ||
| Sixteenth International Conference on Principles of Knowledge Representation and Reasoning | A Generator of Hard 2QBF Formulas and ASP Programs | Abstract |
| Giovanni Amendola, Francesco Ricca, Mirek Truszczynski | ||
| Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning | A Generic Querying Algorithm for Greedy Sets of Existential Rules | Abstract |
| Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph | ||
| Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning | A Higher-Order Semantics for Metaquerying in OWL 2 QL | Abstract |
| Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi | ||
| Sixteenth International Conference on Principles of Knowledge Representation and Reasoning | A Hybrid Approach to Optimization in Answer Set Programming | Abstract |
| Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | A Layered Graph Representation for Complex Regions | Abstract |
| Sanjiang Li | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | A Logical Understanding of Legal Interpretation | Abstract |
| Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre | ||
| Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning | A MIS Partition Based Framework for Measuring Inconsistency | Abstract |
| Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi | ||
| Sixteenth International Conference on Principles of Knowledge Representation and Reasoning | A Model-Based Approach to Visual Reasoning on CNLVR Dataset | Abstract |
| Shailaja Sampat, Joohyung Lee | ||
| Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning | A Multi-Aspect Evaluation Framework for Comments on the Social Web | Abstract |
| Theodore Patkos, Antonis Bikakis, Giorgos Flouris | ||
| Sixteenth International Conference on Principles of Knowledge Representation and Reasoning | A Novel Automata-Theoretic Approach to Timeline-Based Planning | Abstract |
| Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala | ||
| Sixteenth International Conference on Principles of Knowledge Representation and Reasoning | A Parameterized Complexity View on Description Logic Reasoning | Abstract |
| Ronald de Haan | ||
| Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning | A Psychology-Inspired Approach to Automated Narrative Text Comprehension | Abstract |
| Irene-Anna Diakidoy, Antonis Kakas, Loizos Michael, Rob Miller | ||
| Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning | A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks | Abstract |
| Jean-François Condotta, Issam Nouaouri, Michael Sioutis | ||
| Sixteenth International Conference on Principles of Knowledge Representation and Reasoning | A SAT-Based Approach For PSPACE Modal Logics | Abstract |
| Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail | ||
| 1 - 25 of 408 Items | 1 2 3 4 5 6 7 8 9 10 > >> | |