1194 search results - page 80 / 239 » A Language for Implementing Arbitrary Logics |
182
click to vote
ICLP
1999
Springer
15 years 10 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
311
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
130
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...
157
click to vote
TOOLS
2008
IEEE
16 years 16 days ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
151
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...