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