Searching for "Dynamic Logic Programming." – sorted by Relevance.
-
Flow analysis of dynamic logic programs
- 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
- 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
- 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
- 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
- Using dynamic logic programming to model cooperative dialogues Paulo Quaresma and Irene Pimenta
- Add To MetaCart
-
Metaphorical mapping consistency via Dynamic Logic Programming
- 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
- 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
- Dynamic Logic Programming and world state evaluation in computer games Jozef ^Si^ska Department
- Add To MetaCart
-
MINERVA - A Dynamic Logic Programming Agent Architecture
- 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
- The well supported semantics for multidimensional dynamic logic programs ⋆ F. Banti 1 , J. J
- Cited by 4 (0 self) – Add To MetaCart

