2694 search results - page 225 / 539 » A Description Logic of Change |
180
click to vote
ICWS
2003
IEEE
15 years 8 months ago
2003
IEEE
Workflow management systems exactly enact business processes described in a process description language. Unfortunately, such strict adherence to the prescribed workflow makes it ...
167
click to vote
PADL
2012
Springer
14 years 2 months ago
2012
Springer
An ad hoc data source is any semi-structured, non-standard data source. The format of such data sources is often evolving and frequently lacking documentation. Consequently, off-t...
197
click to vote
LANMR
2007
15 years 8 months ago
2007
Abstract We introduce some differences in the style defeasible information is represented and inferences are made in nonmonotonic reasoning. These, at first sight harmless, chang...
200
click to vote
ENTCS
2002
15 years 6 months ago
2002
Dynamic Logic Programming (DLP) was introduced to deal with knowledge about changing worlds, by assigning semantics to sequences of generalized logic programs, each of which repres...
168
click to vote
ECSQARU
2005
Springer
16 years 5 days ago
2005
Springer
Semi-revision is a model of belief change that differs from revision in that a new formula is not always accepted. Later, Fuhrmann defined multiple semi-revision by replacing a n...