Sciweavers

5482 search results - page 233 / 1097
» Logic Programming and Databases
Sort
View
MSCS
2006
80views more  MSCS 2006»
15 years 6 months ago
Denotational semantics for a program logic of objects
Bernhard Reus, Jan Schwinghammer
AMAI
2004
Springer
15 years 6 months ago
Programming Rational Agents in a Modal Action Logic
Matteo Baldoni, Alberto Martelli, Viviana Patti, L...