588 search results - page 66 / 118 » Differential Logic for Reasoning About Hybrid Systems |
106
click to vote
CL
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents a method for representing trees using constraint logic programming over finite domains. We describe a class of trees that is of particular interest to us and h...
128
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
ILP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...
122
click to vote
AUSAI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, ca...
112
click to vote
CLIMA
2004
15 years 3 months ago
2004
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...