MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Modal Logic Programming." – sorted by Relevance.

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

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

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

ATOM

An Overview of Temporal and Modal Logic Programming
by Mehmet A. Orgun, Wanli Ma — 1994 — Proc. First Int. Conf. on Temporal Logic - LNAI 827
…An Overview of Temporal and Modal Logic Programming Mehmet A. Orgun 1 and Wanli Ma 2 1…
Cited by 49 (5 self) – Add To MetaCart

Temporal and Modal Logic Programming Languages
by Manolis Gergatsoulis — 2001 — In A. Kent and J.G. Williams (Eds.), Encyclopedia of Microcomputers
…Temporal and Modal Logic Programming Languages Manolis Gergatsoulis Institute of Informatics…
Cited by 5 (1 self) – Add To MetaCart

The modal logic programming system MProlog
by Linh Anh Nguyen — 2004 — Proceedings of JELIA 2004, LNCS 3229
…The Modal Logic Programming System MProlog: Theory, Design, and Implementation Linh Anh Nguyen…
Cited by 8 (5 self) – Add To MetaCart

A Framework for Modal Logic Programming
by Matteo Baldoni, Laura Giordano, Alberto Martelli — 1996 — In Joint International Conference and Symposium on Logic Programming
…A Framework for Modal Logic Programming Matteo Baldoni, Laura Giordano and Alberto Martelli…
Cited by 15 (3 self) – Add To MetaCart

Indefinite Information in Modal Logic Programming
by Matthew Stone — 1999
…Indefinite Information in Modal Logic Programming 1 Matthew Stone Department of Computer Science…
Cited by 1 (1 self) – Add To MetaCart

MProlog: An extension of Prolog for modal logic programming
by Linh Anh Nguyen — 2004 — Proceedings of ICLP 2004, LNCS 3132
…MProlog: An Extension of Prolog for Modal Logic Programming Linh Anh Nguyen Institute…
Cited by 2 (2 self) – Add To MetaCart

Constructing the Least Models for Positive Modal Logic Programs
by Linh Anh Nguyen — 2000
… Modal Logic Programs Linh Anh Nguyen Institute of Informatics Warsaw University ul. Banacha 2, 02…
Cited by 15 (13 self) – Add To MetaCart

Reasoning about epistemic states of agents by modal logic programming
by Linh Anh Nguyen — 2006 — Proceedings of CLIMA VI, LNAI 3900
…Reasoning about Epistemic States of Agents by Modal Logic Programming Linh Anh Nguyen Institute…
Cited by 6 (6 self) – Add To MetaCart

A Connectionist Inductive Learning System for Modal Logic Programming
by Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay, Artur S. D’avila Garcez Δ, Luísc. Lamb Λ, Dov M. Gabbay Γ
…Connectionist Inductive Learning System for A Logic Programming Modal Artur S. d’Avila Garcez δ…
Cited by 9 (0 self) – Add To MetaCart

Combining Object-Oriented and Logic Paradigms: A Modal Logic Programming Approach
by Tarmo Uustalu — 1992 — European Conference on Object-Oriented Programming (ECOOP'92
…Combining Object-Oriented and Logic Paradigms: A Modal Logic Programming Approach Tarmo Uustalu 1…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB