| CHR vis: Syntax and Semantics
|
2018 |
Sharaf, Nada |
| Introspecting Preferences in Answer Set Programming
|
2018 |
Zhang, Zhizheng |
| A New Proof-Theoretical Linear Semantics for CHR
|
2018 |
Stéphan, Igor |
| MASP-Reduce: A Proposal for Distributed Computation of Stable Models
|
2018 |
Igne, Federico |
| Towards Static Performance Guarantees for Programs with Run-Time Checks
|
2018 |
Klemen, Maximiliano |
| Learning Commonsense Knowledge Through Interactive Dialogue
|
2018 |
Wu, Benjamin |
| Speeding up Lazy-Grounding Answer Set Solving
|
2018 |
Taupe, Richard |
| Natural Language Generation From Ontologies Using Grammatical Framework
|
2018 |
Nguyen, Van Duc |
| Knowledge Authoring and Question Answering via Controlled Natural Language
|
2018 |
Gao, Tiantian |
| Improving Candidate Quality of Probabilistic Logic Models
|
2018 |
Côrte-Real, Joana |
| Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified
|
2018 |
Zaniolo, Carlo |
| Explaining Actual Causation via Reasoning About Actions and Change
|
2018 |
LeBlanc, Emily C. |
| Model Revision of Logical Regulatory Networks Using Logic-Based Tools
|
2018 |
Gouveia, Filipe |
| Scalable Robotic Intra-Logistics with Answer Set Programming
|
2018 |
Obermeier, Philipp |
| Epistemic Logic Programs with World View Constraints
|
2018 |
Kahl, Patrick Thor |
| Cumulative Scoring-Based Induction of Default Theories
|
2018 |
Shakerin, Farhad |
| Towards Incremental and Modular Context-Sensitive Analysis
|
2018 |
Garcia-Contreas, Isabel |
| Application of Logic-Based Methods to Machine Component Design
|
2018 |
Aerts, Bram |
| Probabilistic Action Language pBC +
|
2018 |
Wang, Yi |
| The Learning-Knowledge-Reasoning Paradigm for Natural Language Understanding and Question Answering
|
2018 |
Mitra, Arindam |
Tag hinzufügen