Sciweavers

2696 search results - page 249 / 540
» Semantic Abstraction and Anaphora
Sort
View
AI
2009
Springer
15 years 10 months ago
Executable Specifications of Fully General Attribute Grammars with Ambiguity and Left-Recursion
Abstract. A top-down parsing algorithm has been constructed to accommodate any form of ambiguous context-free grammar, augmented with semantic rules with arbitrary attribute depend...
Rahmatullah Hafiz
ATAL
2004
Springer
15 years 10 months ago
Programming BOID-Plan Agents: Deliberating about Conflicts among Defeasible Mental Attitudes and Plans
paper we present an abstract agent programming language and its operational semantics which can be used to implement cognitive agents. This language consists of programming constr...
Mehdi Dastani, Leendert W. N. van der Torre
DALT
2006
Springer
15 years 10 months ago
Plan Generation and Plan Execution in Agent Programming
Abstract. This paper presents two approaches for generating and executing the plans of cognitive agents. They can be used to define the semantics of programming languages for cogni...
M. Birna van Riemsdijk, Mehdi Dastani
DEON
2006
Springer
15 years 10 months ago
Counts-as: Classification or Constitution? An Answer Using Modal Logic
Abstract. By making use of modal logic techniques, the paper disentangles two semantically different readings of statements of the type X counts as Y in context C (the classificato...
Davide Grossi, John-Jules Ch. Meyer, Frank Dignum
DALT
2008
Springer
15 years 8 months ago
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading
Abstract. We present a novel knowledge-based approach for automated electronic barter trade systems. An e-barter is basically a closed e-marketplace, where agents may exchange (buy...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...