2500 search results - page 159 / 500 » Logical Semantics of Modularisation |
182
click to vote
RULEML
2005
Springer
15 years 12 months ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
171
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
We describe a new smart meeting room system called EasyMeeting that explores the use of FIPA agent technologies, Semantic Web ontologies, logic reasoning, and security and privacy...
156
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
d Abstract) Christel Baier1 , Holger Hermanns2,3 , Joost-Pieter Katoen2 , and Verena Wolf1 1 Institut f¨ur Informatik I, University of Bonn R¨omerstraße 164, D-53117 Bonn, Germa...
162
click to vote
PRDC
2007
IEEE
16 years 21 days ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
172
click to vote
CLEF
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...