| A Hybrid Approach to Optimization in Answer Set Programming
|
2018 |
Saikko, Paul |
| A Model-Based Approach to Visual Reasoning on CNLVR Dataset
|
2018 |
Sampat, Shailaja |
| SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs
|
2018 |
Shen, Da |
| Gradual Semantics Accounting for Similarity between Arguments
|
2018 |
Amgoud, Leila |
| Measuring Similarity between Logical Arguments
|
2018 |
Amgoud, Leila |
| Combining Extension-Based Semantics and Ranking-Based Semantics for Abstract Argumentation
|
2018 |
Bonzon, Elise |
| On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators
|
2018 |
Booth, Richard |
| Towards Belief Contraction without Compactness
|
2018 |
Ribeiro, Jandson S. |
| Reasoning with Justifiable Exceptions in Contextual Hierarchies
|
2018 |
Bozzato, Loris |
| On Laws and Counterfactuals in Causal Reasoning
|
2018 |
Bochman, Alexander |
| Quantified Markov Logic Networks
|
2018 |
Gutiérrez-Basulto, Victor |
| Gradual Semantics for Weighted Graphs: An Unifying Approach
|
2018 |
Amgoud, Leila |
| Some Thoughts on Well-Foundedness in Weighted Abstract Argumentation
|
2018 |
Bistarelli, Stefano |
| 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. |
Tag hinzufügen