Sciweavers

1373 search results - page 218 / 275
» What is Fuzzy Logic
Sort
View
DAGSTUHL
2007
14 years 6 days ago
Prioritized Conditional Imperatives: Problems and a New Proposal
Abstract. The sentences of deontic logic may be understood as describing what an agent ought to do when faced with a given set of norms. If these norms come into conflict, the bes...
Jörg Hansen
BIRTHDAY
2008
Springer
13 years 12 months ago
Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey
Abstract. A formula ψ(Y ) is a selector for a formula ϕ(Y ) in a structure M if there exists a unique Y that satisfies ψ in M and this Y also satisfies ϕ. A formula ψ(X, Y )...
Alexander Rabinovich, Amit Shomrat
BIRTHDAY
2010
Springer
13 years 11 months ago
Programming Inductive Proofs - A New Approach Based on Contextual Types
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
Brigitte Pientka
DLOG
2011
13 years 2 months ago
Extracting Finite Sets of Entailments from OWL Ontologies
The canonical standard description logic reasoning service is classification, that is, the generation of the set of atomic subsumptions which are entailed by some ontology. While ...
Samantha Bail, Bijan Parsia, Ulrike Sattler
ECIR
2007
Springer
14 years 6 days ago
Feature- and Query-Based Table of Contents Generation for XML Documents
The availability of a document’s logical structure in XML retrieval allows retrieval systems to return document portions (elements) instead of whole documents. This helps searche...
Zoltán Szlávik, Anastasios Tombros, ...