Search | Institute for Logic, Language and Computation

Search tips

You can enter multiple search terms to get better search results. To search even more precisely, you have the following options.

"...": Quotations "..." can be used to search for sentences. For example, if you enter "Boolean algebra", a search will be made for sentences that literally contain this.
+: Words starting with a '+' must appear in the items. If you search for multiple search terms, and one of them is '+project', you will find search results that contain the word 'project', sorted by how many of the other search terms they contain.
-: Words starting with a '-' may not appear in the items. So if you search for multiple search terms and one of them is '-project', you will find search results that contain one or more of the other search terms and not the word 'project'.
*: By searching for words ending in '*' you will find all combinations with that word. For example, if you enter 'change*' you will get 'change' as well as 'changed' and 'changes'.

1838. PP-2006-52: Nina Gierasimczuk. The Problem of Learning the Semantics of Quantifiers

This paper is concerned with a possible mechanism for learning the meanings of quantifiers in natural language. The meaning of a natural language construction is identified with a procedure for recognizing its extension. Therefore, acquisition of natural language quantifiers is supposed to consis...
1839. PP-2006-53: Merlijn Sevenster,Tero Tulenheimo. Finite model theory for partially ordered connectives

In the present article a study of the finite model theory of Henkin quantifiers with boolean variables, a.k.a. partially ordered connectives, is undertaken. The logic of first-order formulae prefixed by partially ordered connectives, denoted D, is considered on finite structures. D is characteriz...
1840. PP-2006-54: Martin van Hees,Olivier Roy. Intentions and Plans in Decision and Game Theory

Given the important role that intentions play in the way we make decisions, we would expect intentions to occupy a substantial place in any theory of action. Surprisingly enough, in what is perhaps the most influential theory of action, rational choice theory, explicit reference is made to action...
1841. PP-2006-55: Yann Chevaleyre,Ulle Endriss,Jérôme Lang,Nicolas Maudet. A Short Introduction to Computational Social Choice

Computational social choice is an interdisciplinary field of study at the interface of social choice theory and computer science, promoting an exchange of ideas in both directions. On the one hand, it is concerned with the application of techniques developed in computer science, such as complexit...
1842. PP-2006-56: Joost J. Joosten. Semantics for sub-intuitionistic logics

This paper exposes semantics for various sub-intuitionistic logics. The semantics transparently reflect how assumptions on the epistemic and cognitive abilities of the creative subject influences the underlying logic. One of these semantics is used to obtain a lower bound on the length of proofs...
1843. PP-2006-57: Vincent Kieftenbeld,Benedikt Löwe. A classification of ordinal topologies
1844. PP-2006-58: Raquel Fernández,Ulle Endriss. Abstract Models for Dialogue Protocols

We examine a variety of dialogue protocols, taking inspiration from two fields: natural language dialogue modelling and multiagent systems. In communicative interaction, one can identify different features that may increase the complexity of the dialogue structure. This motivates a hierarchy of a...
1845. PP-2006-59: Johan van Benthem. Rationalizations and Promises in Games

Understanding human behaviour involves "why"'s as well as "how"'s. Rational people have good reasons for acting, but it can be hard to find out what these were and how they worked. In this Note, we discuss a few ways in which our actions, preferences, and expectations are intermingled. This mixtu...
1846. PP-2007-01: Fenrong Liu. Diversity of Agents and their Interaction

Diversity of agents occurs naturally in epistemic logic, and dynamic logics of information update and belief revision. We provide a systematic discussion of different sources of diversity, such as introspection ability, powers of observation, memory capacity, and revision policies, and we show ho...
1847. PP-2007-02: Jacob Vosmaer. Essentially Sigma-1 formulae in Sigma L

The essentially $\Sigma_1$ formulae of $\Sigma$L are exactly those which are provably equivalent to a disjunction of conjunctions of $\Box$ and $\Sigma_1$ formulae.
1848. PP-2007-03: Johan van Benthem. Logic and Reasoning: Do the Facts Matter?

Modern logic is undergoing a cognitive turn, side-stepping Frege's 'anti-psychologism'. Collaborations between logicians and colleagues in more empirical fields are growing, especially in research on reasoning and information update by intelligent agents. We try to make more of this common knowle...

< Previous 1838-1848 of 2450 Next >