| Introducing Temporal Stable Models for Linear Dynamic Logic
|
2018 |
Bosser, Anne-Gwenn |
| A Generator of Hard 2QBF Formulas and ASP Programs
|
2018 |
Amendola, Giovanni |
| SOGrounder: Modelling and Solving Second-Order Logic
|
2018 |
Hallen, Matthias van der |
| Extension Enforcement under Grounded Semantics in Abstract Argumentation
|
2018 |
Niskanen, Andreas |
| Hunting for Tractable Languages for Judgment Aggregation
|
2018 |
Haan, Ronald de |
| Parametrised Difference Revision
|
2018 |
Peppas, Pavlos |
| Default Reasoning via Topology and Mathematical Analysis: A Preliminary Report
|
2018 |
Koutras, Costas D. |
| The Combined Approach to Query Answering in Horn-ALCHOIQ
|
2018 |
Carral, David |
| Heuristic Search Planning with Multi-Objective Probabilistic LTL Constraints
|
2018 |
Baumgartner, Peter |
| Approximating Perfect Recall When Model Checking Strategic Abilities
|
2018 |
Belardinelli, Francesco |
| Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination
|
2018 |
Bolander, Thomas |
| Abductive Diagnosis of Complex Active Systems with Compiled Knowledge
|
2018 |
Lamperti, Gianfranco |
| Compiling Away Soft Trajectory Constraints in Planning
|
2018 |
Wright, Benedict |
| Combining the Causal Judgments of Experts with Possibly Different Focus Areas
|
2018 |
Friedenberg, Meir |
| On the Progression of Situation Calculus Universal Theories with Constants
|
2018 |
Arenas, Marcelo |
| Reasoning about Knowledge and Strategies under Hierarchical Information
|
2018 |
Maubert, Bastien |
| The Window Validity Problem in Rule-Based Stream Reasoning
|
2018 |
Ronca, Alessandro |
| Propositional and Predicate Logics of Incomplete Information
|
2018 |
Console, Marco |
| Synthesis under Assumptions
|
2018 |
Aminof, Benjamin |
| An Incremental Approach to Structured Argumentation over Dynamic Knowledge Bases
|
2018 |
Alfano, Gianvincenzo |
Tag hinzufügen