Sciweavers

WOLLIC
2009
Springer
13 years 10 months ago
Logic-Based Probabilistic Modeling
After briefly mentioning the historical background of PLL/SRL, we examine PRISM, a logic-based modeling language, as an instance of PLL/SRL research. We first look at the distrib...
Taisuke Sato
WOLLIC
2009
Springer
13 years 10 months ago
Query Answering in Description Logics: The Knots Approach
In the recent years, query answering over Description Logic (DL) knowledge bases has been receiving increasing attention, and various methods and techniques have been presented for...
Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Manta...
WOLLIC
2009
Springer
13 years 10 months ago
Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...
Hugo Herbelin, Gyesik Lee
WOLLIC
2009
Springer
13 years 10 months ago
On-the-Fly Macros
Abstract. We present a domain-independent algorithm for planning that computes macros in a novel way. Our algorithm computes macros “on-the-fly” for a given set of states and ...
Hubie Chen, Omer Giménez
WOLLIC
2009
Springer
13 years 10 months ago
Deep Inference in Bi-intuitionistic Logic
Bi-intuitionistic logic is the extension of intuitionistic logic with exclusion, a connective dual to implication. Cut-elimination in biintuitionistic logic is complicated due to t...
Linda Postniece
WOLLIC
2009
Springer
13 years 10 months ago
Team Logic and Second-Order Logic
Team logic is a new logic, introduced by Väänänen [11], extending dependence logic by classical negation. Dependence logic adds to first-order logic atomic formulas expressing...
Juha Kontinen, Ville Nurmi
WOLLIC
2009
Springer
13 years 10 months ago
: An Action-Based Logic for Reasoning about Contracts
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
Cristian Prisacariu, Gerardo Schneider
WOLLIC
2009
Springer
13 years 10 months ago
An Independence Relation for Sets of Secrets
A relation between two secrets, known in the literature as nondeducibility, was originally introduced by Sutherland. We extend it to a relation between sets of secrets that we call...
Sara Miner More, Pavel Naumov