Sciweavers

1588 search results - page 123 / 318
» Modular action language
Sort
View
70
Voted
LREC
2008
78views Education» more  LREC 2008»
15 years 5 months ago
Comparing Corpus-based to Web-based Lookup Techniques for Automatic English Inclusion Detection
The influence of English as a global language continues to grow to an extent that its words and expressions permeate the original forms of other languages. This paper evaluates a ...
Beatrice Alex
NIPS
2000
15 years 4 months ago
Programmable Reinforcement Learning Agents
We present an expressive agent design language for reinforcement learning that allows the user to constrain the policies considered by the learning process.The language includes s...
David Andre, Stuart J. Russell
110
Voted
ATAL
2005
Springer
15 years 9 months ago
Dynamic epistemic logic with assignment
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
113
Voted
LPNMR
2005
Springer
15 years 9 months ago
Some Logical Properties of Nonmonotonic Causal Theories
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonic reasoning and knowledge repr...
Marek J. Sergot, Robert Craven
122
Voted
CC
2004
Springer
160views System Software» more  CC 2004»
15 years 9 months ago
Elkhound: A Fast, Practical GLR Parser Generator
The Generalized LR (GLR) parsing algorithm is attractive for use in parsing programming languages because it is asymptotically efficient for typical grammars, and can parse with an...
Scott McPeak, George C. Necula