3658 search results - page 276 / 732 » The logic of proofs, semantically |
169
click to vote
ATAL
2007
Springer
16 years 29 days ago
2007
Springer
We study logical properties that concern the preservation of futuredirected obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic ...
190
Voted
WISE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Semantic Web, there is a need for ontology technology. Consequently, OWL, a family ...
158
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
189
click to vote
LPAR
2005
Springer
16 years 8 days ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
181
click to vote
NMR
2004
Springer
16 years 3 days ago
2004
Springer
Current literature offers a number of different approaches to what could generally be called “probabilistic logic programming”. These are usually based on Horn clauses. Here, ...