MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Logic for Programming and Automated Reasoning" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

49 documents found, showing 1 through 10. Next 10 →

ATOM

Appears in Proc. of 6th Int'l conference on Logic in Programming and Automated Reasoning
by Lpar' Held In, Jean-marc Andreoli, Roberto Maieli — 1999 — Proceedings of 6th International Conference on Logic Programming and Automated Reasoning
…Appears in Proc. of 6th Int'l conference on Logic in Programming and Automated Reasoning (LPAR'99…
Add To MetaCart

Curriculum Vitæ et Studiorum
by Floriano Zini
… Programming and Automated Reasoning Group at the Computer Science Department of the University of Torino…
Add To MetaCart

Towards Efficient Modelling of Distributed Knowledge Using Equational and Order-Sorted Logic
by Renata Wassermann, Flávio S. Correa da Silva, Fl'avio S. Correa Da Silva — 1994
… efficient resolution-based logic programs for automated reasoning about interacting agents. Keywords…
Cited by 1 (1 self) – Add To MetaCart

Towards Efficient Modelling of Distributed Knowledge Using Equational and Order-Sorted Logic
by Renata Wassermann Fl'avio, Renata Wassermann, Fl'avio S. Correa Da Silva — 1994
… programs for automated reasoning about interacting agents. Keywords: Automated reasoning, Distributed AI…
Add To MetaCart

SCDBR: An Automated Reasoner for Database Updates (Extended Abstract)
by Leopoldo Bertossi, Marcelo Arenas, Cristian Ferretti, Catolica Chile — 1996 — In Proc. VXI International Conference of the Chilean Computer Science Society (SCCC'96
…, Situation Calculus. 1 Introduction We apply logic programming and automated reasoning techniques…
Cited by 4 (3 self) – Add To MetaCart

Journal of the IGPL
by Volume Number February, Special Issue Of The, Dov M. Gabbay, Jon Barwise, Wilfrid Hodges, Hans Kamp, Robert Kowalski, Ewa Orlowska, Amir Pnueli, Vaughan Pratt, Johan Van Benthem
… Substructural Logics. Journal of Automated Reasoning Vol. 13, 1994. pp243-281 [3] R. Caferra and N. Peltier…
Add To MetaCart

Term Schematizations and Their Applications
by M. Hermann, G. Salzer, Divergence In H. Kirchner, G. Levi, G. Salzer Deductive Generalization — 1995
…, editor, Logic Programming and Automated Reasoning (LPAR'92), LNCS 624 (LNAI), pages 409--420. Springer…
Add To MetaCart

On the Relation between the lambdaµ-Calculus and the Syntactic Theory of Sequential Control
by Philippe de Groote
…: F. Pfenning (Ed.), Proceedings of the 5th International Conference on Logic Programming…
Add To MetaCart

Towards Provably Correct System Synthesis And Extension
by C. Talcott, Reasoning Theories Towards, A. Armando, F. Giunchiglia, F. Giunchiglia, P. Pecchiari, P. Pecchiari, R. Overbeek — 1996
… on Logic Programming and Automated Reasoning (LPAR'94), Kiev, Ukraine, July 16-21, 1994. [19] J. Goguen…
Add To MetaCart

Application of Automated Deduction to the Search for Single Axioms for Exponent Groups
by William Mccune, Larry Wos — 1995 — in Logic Programming and Automated Reasoning
…, and to search for counterexamples. We also touch on relations between logic programmingand automated reasoning…
Cited by 5 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB