Sciweavers

590 search results - page 23 / 118
» Knowledge And The Action Description Language A
Sort
View
AIA
2006
14 years 11 months ago
Some Semantics for a Logical Language for the Game of Dominoes
Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been appli...
Fernando R. Velázquez-Quesada, Francisco He...
ICMCS
2005
IEEE
81views Multimedia» more  ICMCS 2005»
15 years 3 months ago
What happens in films?
This paper aims to contribute to the analysis and description of semantic video content by investigating what actions are important in films. We apply a corpus analysis method to ...
Andrew Salway, Andrew Vassiliou, Khurshid Ahmad
ATAL
1995
Springer
15 years 1 months ago
Time, Knowledge, and Choice
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
Michael Wooldridge
TOOLS
1992
IEEE
15 years 1 months ago
Automating the Development of Syntax Tree Generators for an Evolving Language
This paper describes an Ei el system for rapid testing of grammars. Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as add...
Per Grape, Kim Walden
ICCS
1998
Springer
15 years 1 months ago
Matching in Description Logics: Preliminary Results
Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of concept description languages (description logics),...
Franz Baader, Alexander Borgida, Deborah L. McGuin...