Journal: Fundamenta Informaticae

Volume 48, Issue 4

295 -- 314Ngoc Thanh Nguyen. Using Distance Functions to Solve Representation Choice Problems
315 -- 341Franz Puntigam, Christof Peter. Types for Active Objects with Static Deadlock Prevention
343 -- 362Hiroshi Sakai. Effective Procedures for Handling Possible Equivalence Relations in Non-deterministic Information Systems
363 -- 388Zbigniew Stachniak. Non-Clausal Reasoning with Definite Theories
389 -- 414Jerzy Tyszkiewicz. Computability by Sequences of Queries

Volume 48, Issue 2-3

107 -- 128Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer. A Fixed-point Characterization of a Deontic Logic of Regular Action
129 -- 163José Carmo, Olga Pacheco. Deontic and Action Logics for Organized Collective Agency, Modeled through Institutionalized Agents and Roles
165 -- 181José Carmo, Robert Demolombe, Andrew J. I. Jones. An Application of Deontic Logic to Information System Constraints
183 -- 204Laurence Cholvy, Christophe Garion. An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties
205 -- 226Jörg Hansen. Sets, Sentences, and Some Logics about Imperatives
227 -- 236Ray E. Jennings. Natural Frames and Self-dual Logics
237 -- 252Xavier Parent. Cumulativity, Identity and Time in Deontic Logic
253 -- 271Henry Prakken. Modelling Defeasibility in Law: Logic or Procedure?
273 -- 293Marek J. Sergot, Fiona Richards. On the Representation of Action and Agency in the Theory of Normative Positions

Volume 48, Issue 1

1 -- 7Joscha Bach. Supporting Textual Input by Using Multiple Entropy Models
9 -- 20Pierluigi Frisco, Claudio Zandron. On Variants of Communicating Distributed H Systems
21 -- 54Maciej Koutny, Giuseppe Pappalardo. Behaviour Abstraction for Communicating Sequential Processes
55 -- 60Alexander Meduna, Petr Vurm. Multisequential Grammars with Homogeneous Selectors
61 -- 81Nguyen Hung Son. On Efficient Handling of Continuous Attributes in Large Data Bases
83 -- 91George Tourlakis. Computability in Type-2 Objects with Well-Behaved Type-1 Oracles is p-Normal
93 -- 106Xishun Zhao, Decheng Ding. Some Algorithms for Extension Computation of Nonmonotonic Rule Systems