73 search results - page 10 / 15 » Optimizing Conditional Logic Reasoning within CoLoSS |
ICAIL
2007
ACM
15 years 3 months ago
2007
ACM
Ontologies in a legal expert system must be processed to suit all possible user cases within the field of law of the system. From the logical premises of a deductive system of expr...
DLOG
1996
15 years 29 days ago
1996
In 1995, I nished my Ph.D. project which was focused on the selection of adequate Knowledge-Representation Systems (KRSs) for research applications. When I started working at the ...
JSAC
2007
14 years 11 months ago
2007
— Most large-scale communication networks, such as the Internet, consist of interconnected administrative domains. While source (or selfish) routing, where transmission follows ...
105
click to vote
JPDC
2010
14 years 10 months ago
2010
We consider optimal real-time scheduling of periodic tasks on multiprocessors—i.e., satisfying all task deadlines, when the total utilization demand does not exceed the ion capa...
110
click to vote
ICLP
1993
Springer
15 years 3 months ago
1993
Springer
Erlang is a concurrent programming language designed for prototyping and implementing reliable real-time systems. In its design Erlanginherits someideas fromconcurrent logic progra...