3933 search results - page 473 / 787 » Argumentation in the Semantic Web |
162
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
— A trend is emerging in the fields of ambient intelligence (AmI) and autonomous robotics, which points in the direction of a merger between these two fields. The inclusion of ...
180
click to vote
PPDP
2007
Springer
16 years 28 days ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
158
click to vote
TABLEAUX
2007
Springer
16 years 28 days ago
2007
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with...
210
click to vote
PERCOM
2003
ACM
16 years 2 days ago
2003
ACM
To programmatically discover and interact with services in ubiquitous computing environments, an application needs to solve two problems: (1) is it semantically meaningful to inte...
209
click to vote
LPNMR
1997
Springer
15 years 11 months ago
1997
Springer
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...