1814 search results - page 341 / 363 » Extended First-Order Logic |
126
Voted
TABLEAUX
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
156
Voted
FUZZY
2004
Springer
15 years 8 months ago
2004
Springer
The revealed preference is a central subject in classical consumer theory. Authors like Samuelson, Arrow, Richter, Sen, Uzawa and others have proposed an axiomatic setting of reve...
113
Voted
KES
2004
Springer
15 years 8 months ago
2004
Springer
ConceptNet is a very large semantic network of commonsense knowledge suitable for making various kinds of practical inferences over text. ConceptNet captures a wide range of common...
156
Voted
HASE
1998
IEEE
15 years 6 months ago
1998
IEEE
Fault trees provide a graphical and logical framework for analyzing the reliability of systems. A fault tree provides a conceptually simple modeling framework to represent the sys...
125
click to vote
FTRTFT
1998
Springer
15 years 6 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...