1864 search results - page 186 / 373 » Formal topology and domains |
152
click to vote
ICTAI
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—There already exist some links between argumentation and game theory. For instance, dynamic games can be used for simulating interactions between agents in an argumentat...
152
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...
110
click to vote
ICRA
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract— We consider trajectory planning within the frameworks of optimal control and harmonic control. We present a formal evidence, in the continuous domain and in a standard ...
161
click to vote
SEMCO
2007
IEEE
16 years 24 days ago
2007
IEEE
In this paper we present an approach that combines multimedia reasoning and natural language processing for the semantic integration of automatic and manual image annotations base...
174
click to vote
RR
2007
Springer
16 years 19 days ago
2007
Springer
Expressing rules in controlled natural language can bring us closer to the vision of the Semantic Web since rules can be written in the notation of the application domain and are u...