4370 search results - page 379 / 874 » Algebra of Logic Programming |
128
click to vote
ECAI
1992
Springer
15 years 7 months ago
1992
Springer
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...
131
click to vote
SIGPLAN
2008
15 years 3 months ago
2008
It is argued that the teaching of programming is central to the education of skilled computer professionals, that the teaching of programming languages is central to the teaching ...
133
click to vote
FUZZIEEE
2007
IEEE
15 years 9 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...
124
Voted
LFCS
2007
Springer
15 years 9 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...
121
click to vote
SEMWEB
2007
Springer
15 years 9 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 ...