1151 search results - page 113 / 231 » Collaborative Programming: Applications of Logic and Automat... |
116
Voted
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. Hoare logic is widely used for software specification and verification. Frequently we need to prove the total correctness of a program: to prove that the program not only...
131
Voted
ILP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Logical Bayesian Networks (LBNs) have recently been introduced as another language for knowledge based model construction of Bayesian networks, besides existing languages...
140
Voted
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE
The Neem Platform is a research test bed for Project Neem, concerned with the development of socially and culturally aware collaborative systems in a wide range of domains, through...
146
Voted
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Answer set programming (ASP) is a powerful formalism for knowledge representation and common sense reasoning that allows disjunction in rule heads and nonmonotonic negati...
118
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
As logic programming applications grow in size, Prolog systems need to efficiently access larger and larger data sets and the need for any- and multiargument indexing becomes more...