Sciweavers

5198 search results - page 46 / 1040
» A Logic of Agent Programs
Sort
View
ATAL
2006
Springer
15 years 7 months ago
Knowing how to play: uniform choices in logics of agency
Andreas Herzig, Nicolas Troquard
AAAI
2008
15 years 6 months ago
Supporting Manual Mapping Revision using Logical Reasoning
Christian Meilicke, Heiner Stuckenschmidt, Andrei ...