Sciweavers

805 search results - page 17 / 161
» On the Semantics of Conditional Commitment
Sort
View
ECAI
2010
Springer
14 years 10 months ago
A constructive conditional logic for access control: a preliminary report
We define an Intuitionistic Conditional Logic for Access Control called CICL . The logic CICL is based on a conditional language allowing principals to be defined as arbitrary form...
Valerio Genovese, Laura Giordano, Valentina Gliozz...
TBILLC
2007
Springer
15 years 3 months ago
Inquisitive Semantics: Two Possibilities for Disjunction
Abstract. We introduce an inquisitive semantics for a language of propositional logic, where the interpretation of disjunction is the source of inquisitiveness. Indicative conditio...
Jeroen Groenendijk
83
Voted
AAAI
2004
14 years 11 months ago
Extending CP-Nets with Stronger Conditional Preference Statements
A logic of conditional preferences is defined, with a language which allows the compact representation of certain kinds of conditional preference statements, a semantics and a pro...
Nic Wilson
COOPIS
2002
IEEE
15 years 2 months ago
Formal Ontology Engineering in the DOGMA Approach
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
Mustafa Jarrar, Robert Meersman
ACL
2007
14 years 11 months ago
Conditional Modality Fusion for Coreference Resolution
Non-verbal modalities such as gesture can improve processing of spontaneous spoken language. For example, similar hand gestures tend to predict semantic similarity, so features th...
Jacob Eisenstein, Randall Davis