Sciweavers

5198 search results - page 88 / 1040
» A Logic of Agent Programs
Sort
View
FUIN
2007
220views more  FUIN 2007»
14 years 11 months ago
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming
Joost Vennekens, Johan Wittocx, Maarten Marië...
CLIMA
2010
15 years 21 days ago
Finding Uniform Strategies for Multi-agent Systems
We present an algorithm for finding uniform strategies in multi-agent systems with incomplete information. The algorithm finds all maximal uniform strategies for agents with incomp...
Jan Calta, Dmitry Shkatov, Bernd-Holger Schlinglof...
AROBOTS
1998
113views more  AROBOTS 1998»
14 years 11 months ago
Grounding Mundane Inference in Perception
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representation...
Ian Horswill
ICECCS
2006
IEEE
140views Hardware» more  ICECCS 2006»
15 years 5 months ago
Inference of Design Pattern Instances in UML models via Logic Programming
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
Dae-Kyoo Kim, Lunjin Lu
FECS
2007
109views Education» more  FECS 2007»
15 years 21 days ago
Prolog as the First Programming Language
The adoption of logic programming in an introductory course on computer programming offers several rewards. The higher al level of this programming paradigm guides students to an ...
Arthur Fleck