1083 search results - page 111 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
120
Voted
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
124
Voted
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
159
Voted
TLDI
2010
ACM
15 years 2 months ago
2010
ACM
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
117
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
125
Voted
FORMATS
2006
Springer
15 years 6 months ago
2006
Springer
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...