Sciweavers

1194 search results - page 38 / 239
» A Language for Implementing Arbitrary Logics
Sort
View
142
Voted
CONTEXT
2007
Springer
15 years 10 months ago
Textual Inference Logic: Take Two
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
Valeria de Paiva, Daniel G. Bobrow, Cleo Condoravd...
157
Voted
ICTAC
2009
Springer
15 years 1 months ago
A First-Order Policy Language for History-Based Transaction Monitoring
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
Andreas Bauer 0002, Rajeev Goré, Alwen Tiu
142
Voted
ROBOCUP
2000
Springer
120views Robotics» more  ROBOCUP 2000»
15 years 7 months ago
Towards a Logical Approach for Soccer Agents Engineering
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
Jan Murray, Oliver Obst, Frieder Stolzenburg
111
Voted
ECOOP
2006
Springer
15 years 7 months ago
Responders: Language Support for Interactive Applications
A variety of application domains are interactive in nature: a primary task involves responding to external actions. In this paper, we introduce explicit programming language suppor...
Brian Chin, Todd D. Millstein
106
Voted
CMOT
1998
92views more  CMOT 1998»
15 years 3 months ago
SDML: A Multi-Agent Language for Organizational Modelling
A programming language which is optimized for modelling multi-agent interaction within articulated social structures such as organizations is described with several examples of it...
Scott Moss, Helen Gaylard, Steve Wallis, Bruce Edm...