5378 search results - page 794 / 1076 » Base Logics in Argumentation |
190
click to vote
ESWS
2007
Springer
16 years 28 days ago
2007
Springer
State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connective...
173
click to vote
ICLP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concu...
183
click to vote
ICWE
2007
Springer
16 years 27 days ago
2007
Springer
This paper presents a model-driven approach to the development of web applications based on the Ubiquitous Web Application (UWA) design framework, the Model-View-Controller (MVC) a...
169
click to vote
ICWE
2007
Springer
16 years 27 days ago
2007
Springer
This paper presents AWAC, a prototype CAWE tool for the automatic generation of adaptive Web applications based on the A-OOH methodology. A-OOH (Adaptive OO-H) is an extension of t...
169
click to vote
KI
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...