Sciweavers

Share
JAPLL
2007
104views more  JAPLL 2007»
8 years 11 months ago
An axiomatization of family resemblance
We invoke concepts from the theory of hypergraphs to give a measure of the closeness of family resemblance, and to make precise the idea of a composite likeness. It is shown that f...
Ray E. Jennings, Dorian X. Nicholson
JAPLL
2007
142views more  JAPLL 2007»
8 years 11 months ago
Cut-free common knowledge
Starting off from the infinitary system for common knowledge over multi-modal epistemic logic presented in Alberucci and J¨ager [1], we apply the finite model property to “...
Gerhard Jäger, Mathis Kretz, Thomas Studer
JAPLL
2007
63views more  JAPLL 2007»
8 years 11 months ago
Conditionals and consequences
Henry E. Kyburg Jr., Choh-Man Teng, Gregory R. Whe...
JAPLL
2007
83views more  JAPLL 2007»
8 years 11 months ago
Nonmonotonic conditionals that behave like conditional probabilities above a threshold
I’ll describe a range of systems for nonmonotonic conditionals that behave like conditional probabilities above a threshold. The rules that govern each system are probabilistical...
James Hawthorne
JAPLL
2007
88views more  JAPLL 2007»
8 years 11 months ago
Some comments on history based structures
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...
Eric Pacuit
JAPLL
2007
125views more  JAPLL 2007»
8 years 11 months ago
Preferential theory revision
Employing a logic program approach, this paper focuses on applying preferential reasoning to theory revision, both by means of preferences among existing theory rules, and by means...
Pierangelo Dell'Acqua, Luís Moniz Pereira
JAPLL
2007
72views more  JAPLL 2007»
8 years 11 months ago
A consistency-based framework for merging knowledge bases
James P. Delgrande, Torsten Schaub
JAPLL
2007
78views more  JAPLL 2007»
8 years 11 months ago
Execution architectures for program algebra
We investigate the notion of an execution architecture in the setting of the program algebra PGA, and distinguish two sorts of these: analytic architectures, designed for the purp...
Jan A. Bergstra, Alban Ponse
JAPLL
2007
117views more  JAPLL 2007»
8 years 11 months ago
Logic-Based Agent Verification
ecking, algebraic, abstract machines, etc.). THE JOURNAL The Journal of Applied Logic1 publishes papers in areas of logic which can be applied in other disciplines as well as appli...
Michael Fisher, Munindar P. Singh, Diana F. Spears...
books