1
0
0
(1 - 16 von 23
)
Logic Programming: Proceedings of the International Conference...
books.google.de
Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and...
Logic Programming and Nonmonotonic Reasoning: 13th International...
books.google.ca
This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in...
Logic Programming and Nonmonotonic Reasoning: 9th International...
books.google.ca
This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe,...
Practical Aspects of Declarative Languages: 14th International...
books.google.de
This book constitutes the refereed proceedings of the 14th International Symposium on Practical Aspects of Declarative Languages, PADL 2012, held in...
Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2...
iccl.inf.tu-dresden.de
In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, eds., Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International ...
Truszczynski, Miroslaw (Person) - Bowdoin College Library
link.bowdoin.edu
... Lexington, KY, USA, September , Proceedings, edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski, (electronic resource).
DROPS - A Tarskian Informal Semantics for Answer Set Programming
drops.dagstuhl.de
BibTeX - Entry @InProceedings{denecker_et_al:LIPIcs:2012:3629, author = {Marc Denecker and Yuliya Lierler and Miroslaw Truszczynski …
Institut AIFB - ExpresST
www.aifb.kit.edu
In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference
AClib
www.aclib.net
weighted-sequence. @inproceedings{DBLP:conf/padl/LierlerSTW12, author = {Yuliya Lierler and Shaden Smith and Miroslaw Truszczynski and Alex Westlund}, ...
Bibliography ijcai
www.dbai.tuwien.ac.at
... author = {Jan Maly and Miroslaw Truszczynski and Stefan Woltran}, booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on Artificial ...
LPNMR'05 SITE | Proceedings
www.mat.unical.it
Victor W. Marek, Inna Pivkina and Miroslaw Truszczynski. Approximating answer sets of unitary Lifschitz-Woo programs. Paolo Ferraris, On Modular Translations ...
Institut AIFB - Status QIO: Conjunctive Query Entailment is Decidable
www.aifb.kit.edu
Herausgeber: Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski Buchtitel: Principles of Knowledge Representation and Reasoning: Proceedings of the ...
Logic Programming: 22nd International Conference, ICLP 2006, Seattle,...
research.utwente.nl
... WA, USA, August , Proceedings. Sandro Etalle (Editor), Miroslaw Truszczynski (Editor). Research output: Book/Report › Book editing › Academic.
Proceedings of the 5. International Conference on Database Theory...
openproceedings.org
V. Wiktor Marek, Miroslaw Truszczynski pp Datalog Analysis. [DOI] Some Positive Results for Boundedness of Multiple Recursive Rules. Ke Wang pp.
Institut AIFB - Komplexitätstheorie
www.aifb.kit.edu
In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International ...
Alle Infos zum Namen "Miroslaw Truszczynski"
Verwandte Suchanfragen zu Miroslaw Truszczynski
Stefan Woltran Ulrike Sattler Sebastian Rudolph |
Personen Vorname "Miroslaw" (758) Name "Truszczynski" (6) |
sortiert nach Relevanz / Datum