| Preference Relations by Approximation
|
2018 |
Alviano, Mario |
| Weight Learning in a Probabilistic Extension of Answer Set Programs
|
2018 |
Lee, Joohyung |
| Computing Logic Programs with Ordered Disjunction Using asprin
|
2018 |
Lee, Joohyung |
| Omission-Based Abstraction for Answer Set Programs
|
2018 |
Saribatur, Zeynep G. |
| Constructive Logic Covers Argumentation and Logic Programming
|
2018 |
Fandinno, Jorge |
| Updating Belief in Arguments in Epistemic Graphs
|
2018 |
Hunter, Anthony |
| Probabilistic Abstract Argumentation Based on SCC Decomposability
|
2018 |
Rienstra, Tjitze |
| Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change
|
2018 |
Kern-Isberner, Gabriele |
| Incorporating Relevance in Epistemic States in Belief Revision
|
2018 |
Delgrande, James |
| Knowledge-Based Transfer Learning Explanation
|
2018 |
Chen, Jiaoyan |
| From Knowledge Graph Embedding to Ontology Embedding? An Analysis of the Compatibility between Vector Space Representations and Rules
|
2018 |
Gutiérrez-Basulto, Victor |
| ExactLearner: A Tool for Exact Learning of EL Ontologies
|
2018 |
Duarte, Ricardo |
| Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification
|
2018 |
Belardinelli, Francesco |
| Finite LTL Synthesis with Environment Assumptions and Quality Measures
|
2018 |
Camacho, Alberto |
| Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic
|
2018 |
Zarrieß, Benjamin |
| Symbolic Verification of GOLOG Programs with First-Order BDDs
|
2018 |
Claßen, Jens |
| Cutting Diamonds: A Temporal Logic with Probabilistic Distributions
|
2018 |
Kovtunova, Alisa |
| A Novel Automata-Theoretic Approach to Timeline-Based Planning
|
2018 |
Monica, Dario Della |
| Relaxing and Restraining Queries for OBDA — Extended Abstract
|
2018 |
Andresel, Medina |
| Loop Restricted Existential Rules and First-Order Rewritability for Query Answering
|
2018 |
Asuncion, Vernon |
Tag hinzufügen