• CMU Model Checking home
  • Henkin algebras with applications to default
  • Similarity preservation in default
  • Generalized default logic: minimal knowledge,
  • Abduction vs. deduction in nonmonotonic
  • http://saturn.hut.fi/~ini/nmrw98.html
  • A tableau calculus for minimal model reasoning
  • Bookmark
  • BookmarkAIJourn
  • Intelligent Agents Project IBM
  • Papers about the Information Economies Project - Grosof
  • postscript Grosof - Dynamics
  • postscript Grosof - Conflict Handling
  • Conjectures -- an inquiry concerning the logic of
  • Simply Logical -- intelligent reasoning by example
  • Paper archive
  • Updates, induction and abduction in deductive databases
  • Abduction and induction: an AI perspective
  • The referential basis of abduction and logic
  • On the difference between abduction and induction: a
  • Induction in philosophy and AI
  • A unified framework for abductive and inductive
  • WWW stranka
  • http://karna.cs.umd.edu:3264/projects/nullvalues.html
  • http://www.dai.ed.ac.uk/daidb/people/homes/geraint/aisb99/CFP/10-Standards/
  • Modality, si! Modal logic, no!
  • Modality, of course! Modal logic, si!
  • http://www.ida.liu.se/ext/etai/rac/
  • Useful Information
  • Twente University Press
  • nl-nmtt contents(Sefranek)
  • ISFDB Author Directory (S)
  • ESSCS journals
  • Statnice z umelej inteligencie - sylaby Society
  • web site of JLoLI
  • JoLLI
  • belief revision
  • SATEN
  • Oracle online subscription form
  • Reprezentacia znalosti a inferencia (texty)
  • InfoLab
  • START
  • Representation Theory for Default Logic
  • Human communication: what happens?
  • Evolving social constraints on
  • Representation and
  • Symbolic, conceptual and subconceptual representations
  • Does semantics need reality?
  • Meanings as conceptual structures
  • Meanings as conceptual structures
  • Conceptual spaces as a basis for cognitive semantics
  • Mental representation, conceptual spaces and metaphors
  • Language and the evolution of cognition
  • Cued and detached representations in animal cognition
  • Speaking about the inner environment
  • Concept representations and nonmonotonic inferences
  • Concept formation in
  • How logic emerges from the dynamics of information
  • Three levels of inductive inference
  • The emergence of meaning
  • Induction and the evolution of conceptual spaces
  • A geometric model of concept formation
  • Frameworks for properties: Possible worlds vs. conceptual
  • The Effective Field of View Paradigm: Adding