2517 search results - page 43 / 504 » Specifying Weak Sets |
AMAI
2006
Springer
14 years 12 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
ACL
2001
15 years 1 months ago
2001
Polarized dependency (PD-) grammars are proposed as a means of efficient treatment of discontinuous constructions. PD-grammars describe two kinds of dependencies : local, explicit...
DKE
2010
14 years 12 months ago
2010
UML class-based models and OWL ontologies constitute modeling approaches with different strength and weaknesses that make them appropriate for specifying different aspects of soft...
MFCS
2005
Springer
15 years 5 months ago
2005
Springer
We show the following results regarding complete sets. • NP-complete sets and PSPACE-complete sets are many-one autoreducible. • Complete sets of any level of PH, MODPH, or th...
111
click to vote
CIE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We show that many so called discrete weak semilattices considered earlier in a series of author’s publications have hereditary undecidable first-order theories. Since ...