Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International Conference on Logic Programming (34. : 2018 : Oxford) Technical communications of the 34th International Conference on Logic Programming
1. Verfasser:	Zaniolo, Carlo (VerfasserIn)
Weitere Verfasser:	Yang, Mohan (VerfasserIn), Interlandi, Matteo (VerfasserIn), Das, Ariyam (VerfasserIn), Shkapsky, Alexander (VerfasserIn), Condie, Tyson (VerfasserIn)
Pages:	34
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2018
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Titel	Jahr	Verfasser
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

Alle Artikel auflisten