| 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 |
| 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 |
| 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 |
Tag hinzufügen