MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

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

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

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

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

ATOM

Flow analysis of dynamic logic programs
by Saumya K. Debray, Saumya K. Debray — 1989 — Journal of Logic Programming
…Flow Analysis of Dynamic Logic Programs† Saumya K. Debray Abstract: Research on flow analysis…
Cited by 9 (3 self) – Add To MetaCart

Multi-dimensional Dynamic Logic Programming
by João Alexandre Leite, José Júlio Alferes, Jo~ao Alexandre Leite, Luís Moniz Pereira — 2000
…Multi-dimensional Dynamic Logic Programming Jo~ao Alexandre Leite ;y , Jose Julio Alferes y…
Cited by 61 (19 self) – Add To MetaCart

Dynamo - A Language for Dynamic Logic Programming
by Jan van Eijck — 1998
…Dynamo --- A Language for Dynamic Logic Programming Jan van Eijck Abstract We describe a Haskell…
Cited by 5 (4 self) – Add To MetaCart

The Refined Extension Principle for Semantics of Dynamic Logic Programming
by Jose Julio Alferes, Federico Banti, Antonio Brogi, Joao Alexandre Leite
… Principle for Semantics of Dynamic Logic Programming Abstract. Over recent years, various semantics have…
Cited by 21 (10 self) – Add To MetaCart

Using Dynamic Logic Programming to Model Cooperative Dialogues
by Paulo Quaresma And, Paulo Quaresma, Irene Pimenta Rodrigues — 1999 — In AAAI'99 Fall Symposium on Modal and Temporal Logics
…Using dynamic logic programming to model cooperative dialogues Paulo Quaresma and Irene Pimenta…
Add To MetaCart

Metaphorical mapping consistency via Dynamic Logic Programming
by João Alexandre Leite, Francisco Cámara Pereira, Amílcar Cardoso, Luís Moniz Pereira, João Alex — 2000
…Metaphorical mapping consistency via Dynamic Logic Programming João Alexandre Leite ? ; Francisco…
Cited by 12 (9 self) – Add To MetaCart

A Kripkean Semantics for Dynamic Logic Programming
by Jan Sefranek — 2000
…A Kripkean Semantics for Dynamic Logic Programming Jan Sefranek Institute of Informatics…
Cited by 8 (4 self) – Add To MetaCart

Dynamic Logic Programming and world state evaluation in
by unknown authors
… Dynamic Logic Programming and world state evaluation in computer games Jozef ^Si^ska Department…
Add To MetaCart

MINERVA - A Dynamic Logic Programming Agent Architecture
by João Alexandre Leite, José Júlio Alferes, Joo Alex, Re Leite, Jos Jtilio Alferes, Luís Moniz Pereira — 2001
…t27A/'E7lJt - A Dynamic Logic Programming Agent Architecture Jo5o Alexandre Leite, Jos6 Jtilio…
Cited by 24 (18 self) – Add To MetaCart

P.: The well supported semantics for multidimensional dynamic logic programs
by F. Banti, J. J. Alferes, A. Brogi, P. Hitzler — 2005 — LPNMR 2005, LNCS 3662
…The well supported semantics for multidimensional dynamic logic programs ⋆ F. Banti 1 , J. J…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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