The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "KR"( http://dblp.L3S.de/Venues/KR )

URL (DBLP): http://dblp.uni-trier.de/db/conf/kr

Publication years (Num. hits)
1989 (52) 1991 (62) 1992 (70) 1994 (61) 1996 (64) 1998 (59) 2000 (65) 2002 (56) 2004 (79) 2006 (53) 2008 (72) 2010 (73) 2012 (77) 2014 (93) 2016 (76) 2018 (94)
Publication types (Num. hits)
inproceedings(1090) proceedings(16)
Venues (Conferences, Journals, ...)
KR(1106)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 1106 publication records. Showing 1106 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan Query Answering for Rough EL Ontologies. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1James P. Delgrande, Pavlos Peppas Incorporating Relevance in Epistemic States in Belief Revision. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Francesco Belardinelli, Catalin Dima, Aniello Murano Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala A Novel Automata-Theoretic Approach to Timeline-Based Planning. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone Approximating Perfect Recall When Model Checking Strategic Abilities. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Da Shen, Yuliya Lierler SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ronald de Haan Hunting for Tractable Languages for Judgment Aggregation. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nicolas Schwind, Sébastien Konieczny, Pierre Marquis On Belief Promotion. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alisa Kovtunova, Rafael Peñaloza Cutting Diamonds: A Temporal Logic with Probabilistic Distributions. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Joohyung Lee, Zhun Yang Computing Logic Programs with Ordered Disjunction Using asprin. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Vernon Asuncion, Yan Zhang, Heng Zhang, Yun Bai, Weisheng Si Loop Restricted Existential Rules and First-Order Rewritability for Query Answering. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo A Hybrid Approach to Optimization in Answer Set Programming. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña On the Progression of Situation Calculus Universal Theories with Constants. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jori Bomanson, Tomi Janhunen, Antonius Weinzierl Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Federico Cerutti, Matthias Thimm A General Approach to Reasoning with Probabilities - Extended Abstract. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo Extension Enforcement under Grounded Semantics in Abstract Argumentation. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Tjitze Rienstra, Matthias Thimm, Beishui Liao, Leendert W. N. van der Torre Probabilistic Abstract Argumentation Based on SCC Decomposability. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nico Potyka Continuous Dynamical Systems for Weighted Bipolar Argumentation. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Stefano Bistarelli, Francesco Santini 0001 Some Thoughts On Well-Foundedness in Weighted Abstract Argumentation. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Arindam Mitra, Chitta Baral, Peter Clark Knowledge Representation and Reasoning in Answering Science Questions: A Case Study for Food Web Questions. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Leila Amgoud, Victor David Measuring Similarity between Logical Arguments. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka Quantified Markov Logic Networks. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Kaya Deuser, Pavel Naumov Navigability with Bounded Recall. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Bastien Maubert, Aniello Murano Reasoning about Knowledge and Strategies under Hierarchical Information. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Daniel de Leng, Fredrik Heintz Partial-State Progression for Stream Reasoning with Metric Temporal Logic. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Anthony Hunter, Sylwia Polberg, Nico Potyka Updating Belief in Arguments in Epistemic Graphs. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Leila Amgoud, Elise Bonzon, Jérôme Delobelle, Dragan Doder, Sébastien Konieczny, Nicolas Maudet Gradual Semantics Accounting for Similarity between Arguments. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ricardo Gonçalves 0001, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran Variable Elimination for DLP-Functions. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann Towards Belief Contraction without Compactness. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Thomas Bolander, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub Introducing Temporal Stable Models for Linear Dynamic Logic. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Giovanni Amendola, Francesco Ricca, Mirek Truszczynski A Generator of Hard 2QBF Formulas and ASP Programs. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Leila Amgoud, Dragan Doder Gradual Semantics for Weighted Graphs: An Unifying Approach. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Zeynep Gözen Saribatur, Thomas Eiter Omission-Based Abstraction for Answer Set Programs. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Hiroyuki Kido Bayesian Model Selection in Statistical Construction of Justification. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Cristina Civili, Leonid Libkin Approximating Certainty in Querying Data and Metadata. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Costas D. Koutras, Konstantinos Liaskos, Christos Moyzes, Christos Rantsoudis Default Reasoning via Topology and Mathematical Analysis: A Preliminary Report. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin Synthesis under Assumptions. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Marco Garapa, Eduardo Fermé, Maurício D. Luís Reis Studies in Credibility-Limited Base Revision. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Elise Bonzon, Jérôme Delobelle, Sébastien Konieczny, Nicolas Maudet Combining Extension-Based Semantics and Ranking-Based Semantics for Abstract Argumentation. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin Changing Observations in Epistemic Temporal Logic. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Paulo T. Guerra, Renata Wassermann Two AGM-Style Characterizations of Model Repair. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Sébastien Konieczny, Pierre Marquis, Srdjan Vesic New Inference Relations from Maximal Consistent Subsets. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Benjamin Zarrieß Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Henrique Viana, João Alcântara Propositional Belief Merging with OWA Operators. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Michael Thielscher, Francesca Toni, Frank Wolter (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Hua Hua, Jochen Renz, Xiaoyu Ge Qualitative Representation and Reasoning over Direction Relations across Different Frames of Reference. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Shailaja Sampat, Joohyung Lee A Model-Based Approach to Visual Reasoning on CNLVR Dataset. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ringo Baumann, Markus Ulbricht If Nothing Is Accepted - Repairing Argumentation Frameworks. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Peter Baumgartner 0001, Sylvie Thiébaux, Felipe W. Trevizan Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nandini Ramanan, Gautam Kunapuli, Tushar Khot, Bahare Fatemi, Seyed Mehran Kazemi, David Poole 0001, Kristian Kersting, Sriraam Natarajan Structure Learning for Relational Logistic Regression: An Ensemble Approach. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith Finite LTL Synthesis with Environment Assumptions and Quality Measures. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Stephanie McIntyre, Alexander Borgida, David Toman, Grant E. Weddell On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza Making Repairs in Description Logics More Gentle. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher Exploiting Treewidth for Counting Projected Answer Sets. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks The Window Validity Problem in Rule-Based Stream Reasoning. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Richard Booth 0001, Jake Chandler On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jorge Fandinno, Luis Fariñas del Cerro Constructive Logic Covers Argumentation and Logic Programming. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Marco Console, Paolo Guagliardo, Leonid Libkin Propositional and Predicate Logics of Incomplete Information. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Liangda Fang, Kewen Wang, Zhe Wang 0001, Ximing Wen Knowledge Compilation in the Multi-Agent Epistemic Logic Kn. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1David Carral, Irina Dragoste, Markus Krötzsch The Combined Approach to Query Answering in Horn-ALCHOIQ. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Gerardo Ignacio Simari, Guillermo Ricardo Simari An Incremental Approach to Structured Argumentation over Dynamic Knowledge Bases. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Gabriele Kern-Isberner Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Tomasz Gogacz, Yazmin Angélica Ibáñez-García, Filip Murlak Finite Query Answering in Expressive Description Logics with Transitive Roles. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao Abductive Diagnosis of Complex Active Systems with Compiled Knowledge. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Meir Friedenberg, Joseph Y. Halpern Combining the Causal Judgments of Experts with Possibly Different Focus Areas. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis Probabilistic Coalition Structure Generation. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Pavlos Peppas, Mary-Anne Williams Parametrised Difference Revision. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Matthias van der Hallen, Gerda Janssens SOGrounder: Modelling and Solving Second-Order Logic. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Giovanni Casini, Eduardo Fermé, Thomas Meyer, Ivan Varzinczak A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Joohyung Lee, Yi Wang Weight Learning in a Probabilistic Extension of Answer Set Programs. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Kristijonas Cyras, Tiago Oliveira Argumentation for Reasoning with Conflicting Clinical Guidelines and Preferences. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jiaoyan Chen, Freddy Lécué, Jeff Z. Pan, Ian Horrocks, Huajun Chen Knowledge-Based Transfer Learning Explanation. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Benedict Wright, Robert Mattmüller, Bernhard Nebel Compiling Away Soft Trajectory Constraints in Planning. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Veronika Thost Metric Temporal Extensions of DL-Lite and Interval-Rigid Names. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Carsten Lutz, Johannes Marti, Leif Sabellek Query Expressibility and Verification in Ontology-Based Data Access. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Medina Andresel, Yazmin Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus Relaxing and Restraining Queries for OBDA - Extended Abstract. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Pavel Naumov, Kevin Ros Strategic Coalitions in Systems with Catastrophic Failures. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Henry Prakken Probabilistic Strength of Arguments with Structure. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jens Claßen Symbolic Verification of Golog Programs with First-Order BDDs. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mario Alviano, Javier Romero 0003, Torsten Schaub Preference Relations by Approximation. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ronald de Haan A Parameterized Complexity View on Description Logic Reasoning. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato iCon: A Diagrammatic Theorem Prover for Ontologies. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Adrian Haret, Arianna Novaro, Umberto Grandi Preference Aggregation with Incomplete CP-Nets. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Loris Bozzato, Luciano Serafini, Thomas Eiter Reasoning with Justifiable Exceptions in Contextual Hierarchies. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Víctor Gutiérrez-Basulto, Steven Schockaert From Knowledge Graph Embedding to Ontology Embedding? An Analysis of the Compatibility between Vector Space Representations and Rules. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alexander Bochman On Laws and Counterfactuals in Causal Reasoning. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Xiaoyu Ge, Jochen Renz, Hua Hua Towards Explainable Inference about Object Motion using Qualitative Reasoning. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail A SAT-Based Approach For PSPACE Modal Logics. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Michael Akintunde, Alessio Lomuscio, Lalit Maganti, Edoardo Pirovano Reachability Analysis for Neural Agent-Environment Systems. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki ExactLearner: A Tool for Exact Learning of EL Ontologies. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi Declarative Solver Development: Case Studies. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith Using Metric Temporal Logic to Specify Scheduling Problems. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance Online Situation-Determined Agents and their Supervision. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Zhiyi Luo, Yuchen Sha, Kenny Q. Zhu, Seung-won Hwang, Zhongyuan Wang Commonsense Causal Reasoning between Short Texts. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi On First-Order μ-Calculus over Situation Calculus Action Theories. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini Reasoning about Truthfulness of Agents Using Answer Set Programming. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 1106 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license