3546 search results - page 219 / 710 » A Causal Logic of Logic Programming |
122
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Controlling the sensing of an environment by an agent has been accepted as necessary for effective operation within most practical domains. Usually, however, agents operate in par...
144
click to vote
FUZZIEEE
2007
IEEE
15 years 11 months ago
2007
IEEE
— Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. It is well known that the choice of the fuzzy operat...
134
click to vote
LFCS
2007
Springer
15 years 10 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
132
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
123
click to vote
ISMVL
1999
IEEE
15 years 8 months ago
1999
IEEE
In the last years two automated reasoning techniques for clause normal form arose in which the use of labels are prominently featured: signed logic and annotated logic programming...