2145 search results - page 26 / 429 » Lax Logical Relations |
134
Voted
LOGCOM
2011
14 years 3 months ago
2011
125
Voted
LOGCOM
2007
15 years 19 days ago
2007
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...
104
click to vote
TAP
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents techniques for applying a finite relational model finder to logical specifications that involve (co)inductive predicates, (co)algebraic datatypes, and (co)re...
91
Voted
KI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...
125
click to vote
SEMWEB
2010
Springer
14 years 10 months ago
2010
Springer
RDF(S) and OWL 2 currently support only static ontologies. In practice, however, the truth of statements often changes with time, and Semantic Web applications often need to repres...