Sciweavers

JOLLI
2010
171views more  JOLLI 2010»
13 years 6 months ago
A Dynamic Logic of Agency I: STIT, Capabilities and Powers
The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define ...
Andreas Herzig, Emiliano Lorini
JOLLI
2010
107views more  JOLLI 2010»
13 years 10 months ago
PGF: A Portable Run-time Format for Type-theoretical Grammars
Abstract PGF (Portable Grammar Format) is a low-level language used as a target of compiling grammars written in GF (Grammatical Framework). Low-level and simple, PGF is easy to re...
Krasimir Angelov, Björn Bringert, Aarne Ranta
JOLLI
2010
123views more  JOLLI 2010»
13 years 10 months ago
The Situation Calculus: A Case for Modal Logic
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of th...
Gerhard Lakemeyer
JOLLI
2010
69views more  JOLLI 2010»
13 years 10 months ago
A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars
in Abstract Categorial Grammars Christian Retor´e, Sylvain Salvati This paper solves a natural but still open question: can Abstract Categorial Grammars (ACGs) have been defined ...
Christian Retoré, Sylvain Salvati
JOLLI
2010
78views more  JOLLI 2010»
13 years 10 months ago
On the Membership Problem for Non-Linear Abstract Categorial Grammars
embership problem for non-linear Abstract Categorial Grammars Sylvain Salvati Abstract In this paper we show that the membership problem for second order nonbstract Categorial Gram...
Sylvain Salvati
JOLLI
2010
142views more  JOLLI 2010»
13 years 10 months ago
Towards a Type-Theoretical Account of Lexical Semantics
After a quick overview of the field of study known as “Lexical Semantics”, where we advocate the need of accessing additional information besides syntax and Montaguestyle sema...
Christian Bassac, Bruno Mery, Christian Retor&eacu...
JOLLI
2010
106views more  JOLLI 2010»
13 years 10 months ago
Second-Order Abstract Categorial Grammars as Hyperedge Replacement Grammars
rder Abstract Categorial Grammars as Hyperedge Replacement Grammars Makoto Kanazawa National Institute of Informatics 2–1–2 Hitotsubashi, Chiyoda-ku, Tokyo, 101–8430, Japan A...
Makoto Kanazawa
JOLLI
2010
118views more  JOLLI 2010»
13 years 10 months ago
Merging DEL and ETL
This paper surveys the interface between the two major logical trends that describe agents’ intelligent interaction over time: dynamic epistemic logic (DEL) and epistemic tempora...
Tomohiro Hoshi
JOLLI
2010
85views more  JOLLI 2010»
13 years 10 months ago
Information Tracking in Games on Graphs
Abstract. When seeking to coordinate in a game with imperfect information, it is often relevant for a player to know what other players know. Keeping track of the information acqui...
Dietmar Berwanger, Lukasz Kaiser
JOLLI
2010
92views more  JOLLI 2010»
13 years 10 months ago
A Theory of Hierarchical Consequence and Conditionals
We introduce A-ranked preferential structures and combine them with an accessibility relation. A-ranked preferential structures are intermediate between simple preferential struct...
Dov M. Gabbay, Karl Schlechta