1083 search results - page 42 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
109
click to vote
FMCO
2003
Springer
15 years 7 months ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...
LPNMR
2005
Springer
15 years 7 months ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...
104
click to vote
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
We consider unranked trees, that have become an active subject of study recently due to XML applications, and characterize commonly used fragments of firstorder (FO) and monadic ...
106
click to vote
TIME
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper describes an annotation guideline for a temporal relation-tagged corpus of Chinese. Our goal is construction of corpora to be used for a corpus-based analysis of tempor...
160
click to vote
ICLP
2007
Springer
15 years 5 months ago
2007
Springer
Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fu...