Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Transactions on Computational Logic (TOCL), Volume 2
Volume 2, Number 1, January 2001
- Andreas Blass, Yuri Gurevich:
Inadequacy of computable loop invariants. 1-11 - Michael Fisher
, Clare Dixon, Martin Peim:
Clausal temporal resolution. 12-56 - Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas:
Termination proofs for logic programs with tabling. 57-92 - Randal E. Bryant, Steven M. German, Miroslav N. Velev:
Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic. 93-134 - Leonid Libkin:
Logics capturing local properties. 135-153
Volume 2, Number 2, April 2001
- Tatiana Rybina, Andrei Voronkov:
A decision procedure for term algebras with queues. 155-181 - Andrei Voronkov:
How to optimize proof-search in modal logics: new methods of proving redundancy criteria for sequent calculi. 182-215 - Joost Engelfriet, Hendrik Jan Hoogeboom:
MSO definable string transductions and two-way finite-state transducers. 216-254 - Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
Representation results for defeasible logic. 255-287
Volume 2, Number 3, July 2001
- Thomas Lukasiewicz:
Probabilistic logic programming with conditional constraints. 289-339 - Uwe Egly, Hans Tompits:
Proof-complexity results for nonmonotonic reasoning. 340-387 - Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron A. Peled:
Parametric temporal logic for "model measuring". 388-407 - Orna Kupferman, Moshe Y. Vardi:
Weak alternating automata are not that weak. 408-429
Volume 2, Number 4, October 2001
- Krzysztof R. Apt, Antonis C. Kakas, Fariba Sadri:
Editorial. 431 - Raymond Reiter:
On knowledge-based programming with sensing in the situation calculus. 433-457 - Nada Lavrac, Peter A. Flach:
An extended transformation approach to inductive logic programming. 458-494 - Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña:
Incremental execution of guarded theories. 495-525 - Vladimir Lifschitz, David Pearce, Agustín Valverde:
Strongly equivalent logic programs. 526-541 - Luigia Carlucci Aiello, Fabio Massacci:
Verifying security protocols as planning in logic programming. 542-580 - Marek J. Sergot:
A computational theory of normative positions. 581-622 - Marc Denecker, Maurice Bruynooghe, V. Wiktor Marek:
Logic programming revisited: Logic programs as inductive definitions. 623-654
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-06 21:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
