472 search results - page 24 / 95 » Limiting Negations in Formulas |
ICAIL
2005
ACM
14 years 3 months ago
2005
ACM
d on Dung’s [4] abstract argumentation system • arguments: trees of chained defeasible inferences • aim: determine the status of a query given a belief base • incorporation...
CAISE
2006
Springer
14 years 2 months ago
2006
Springer
When an organization decides on the level of flexibility in handling business process instances, it needs to impose this level in operational practice. The way of imposing a given ...
ISORC
2008
IEEE
14 years 4 months ago
2008
IEEE
Recent years have witnessed the emergence and rapid growth of distributed service infrastructures such as mobile ad hoc networks, P2P, PlanetLab and Grids. In such distributed inf...
AAAI
2007
14 years 17 days ago
2007
Recent studies have shown that graph-based approaches are effective for semi-supervised learning. The key idea behind many graph-based approaches is to enforce the consistency bet...
ACSW
2007
13 years 11 months ago
2007
The automatic conversion of free text into a medical ontology can allow computational access to important information currently locked within clinical notes and patient reports. T...