| 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 |
| 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 |
| SMT-Based Answer Set Solver CHODELS(DIFF) (System Description)
|
2018 |
Shen, Da |
| Explanations Generation For Web Service Workflow
|
2018 |
Nguyen, Van Duc |
| Translating P-log, LP MLN, LPOD, and CR-Prolog2 into Standard Answer Set Programs
|
2018 |
Yang, Zhun |
| Proof-Relevant Resolution for Elaboration of Programming Languages
|
2018 |
Farka, Frantisek |
| Improving Candidate Quality of Probabilistic Logic Models
|
2018 |
Côrte-Real, Joana |
Tag hinzufügen