135 search results - page 18 / 27 » Constructive Logic with Strong Negation as a Substructural L... |
WETICE
1999
IEEE
15 years 4 months ago
1999
IEEE
The prevailing architecture for web-based applications relies on HTML, HTTP and loosely integrated functional elements, propagating a strong distinction between client and server....
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
98
Voted
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
WWW
2001
ACM
16 years 10 days ago
2001
ACM
Information agents are computational software systems that provides transparent access to many different information sources in the Internet, and to be able to retrieve, analyze, ...
96
Voted
CADE
2006
Springer
15 years 12 months ago
2006
Springer
Propositional canonical Gentzen-type systems, introduced in [1], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...