Sciweavers

Share
126 search results - page 1 / 26
» Logic of infons: The propositional case
Sort
View
TOCL
2011
81views more  TOCL 2011»
8 years 3 months ago
Logic of infons: The propositional case
Yuri Gurevich, Itay Neeman
BIRTHDAY
2010
Springer
8 years 9 months ago
DKAL and Z3: A Logic Embedding Experiment
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
Sergio Mera, Nikolaj Bjørner
PKDD
2005
Springer
125views Data Mining» more  PKDD 2005»
9 years 1 months ago
A Propositional Approach to Textual Case Indexing
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...
Nirmalie Wiratunga, Robert Lothian, Sutanu Chakrab...
LPNMR
2005
Springer
9 years 1 months ago
Answer Sets for Propositional Theories
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
Paolo Ferraris
TLCA
2005
Springer
9 years 1 months ago
Naming Proofs in Classical Propositional Logic
Abstract. We present a theory of proof denotations in classical propologic. The abstract deļ¬nition is in terms of a semiring of weights, and two concrete instances are explored. ...
François Lamarche, Lutz Straßburger
books