453 search results - page 73 / 91 » FLUX: A Logic Programming Method for Reasoning Agents |
AAAI
1993
15 years 1 months ago
1993
Semiquantitative models combine both qualitative and quantitative knowledge within a single semiquantitative qualitative differential equation (SQDE) representation. With current ...
149
click to vote
VL
2010
IEEE
14 years 10 months ago
2010
IEEE
Many machine-learning algorithms learn rules of behavior from individual end users, such as taskoriented desktop organizers and handwriting recognizers. These rules form a “prog...
CADE
2008
Springer
16 years 1 days ago
2008
Springer
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...
PLILP
1993
Springer
15 years 3 months ago
1993
Springer
Many recent proposals for the integration of functional and logic programming use conditional term rewriting systems (CTRS) as programs and narrowing as goal solving mechanism. Thi...
SAS
2009
Springer
16 years 8 days ago
2009
Springer
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...