4401 search results - page 82 / 881 » Computing with Default Logic |
FMSP
2000
ACM
14 years 1 months ago
2000
ACM
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...
AMAI
2000
Springer
13 years 8 months ago
2000
Springer
principled ones
AIML
2008
13 years 10 months ago
2008
Most temporal logics, particularly interval temporal logics, are not expressive enough to capture meanings of natural language constructions, and they are not convenient to represe...
IJCAI
1997
13 years 10 months ago
1997
It is generally accepted that knowledge based systems would be smarter and more robust if they can manage inconsistent, incomplete or imprecise knowledge. This paper is about a fo...
FOSSACS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...