1814 search results - page 206 / 363 » Extended First-Order Logic |
127
Voted
CISIS
2008
IEEE
15 years 10 months ago
2008
IEEE
—Techniques for detecting synthetic lethal mutations in double gene deletion experiments are emerging as powerful tool for analysing genes in parallel or overlapping pathways wit...
142
Voted
NMR
2004
Springer
15 years 9 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
99
Voted
IWMM
2000
Springer
15 years 7 months ago
2000
Springer
We extend Tofte and Talpin's region-based model for memory management to support backtracking and cuts, which makes it suitable for use with Prolog and other logic programmin...
132
Voted
DLOG
2003
15 years 5 months ago
2003
This paper describes our current activities to supply extended reasoning support to knowledge engineers who are building terminologies using Description Logics (DL) reasoners. The...
145
click to vote
LANMR
2004
15 years 5 months ago
2004
We recently proposed a definition of a language for nonmonotonic reasoning based on intuitionistic logic. Our main idea is a generalization of the notion of answer sets for arbitr...