A Logic Based SLA Management Framework
one expressive logic based framework called ContractLog. ContractLog underpins a declara ... Derivation rules based on horn logic supplemented with negation as ...
www.cs.umbc.edu

Declarative/Logic-Based Computational Cognitive Modeling
In LCCM, a (logic-based) computational cognitive ... Desideratum #2: Modeling Mental Logic-, Mental Models-, and Mental Metalogic-Based Reasoning ...
kryten.mm.rpi.edu

Progress in Logic-Based AI
... Previous: Book Review. Progress in Logic-Based AI ... How goes the logic-based runner? ... Within logic-based AI, I shall emphasize one development--formalized ...
www-formal.stanford.edu

Logic-Based Subsumption Architecture
We describe a logic-based AI architecture based on Brooks' subsumption ... A Logic-Based Subsumption Architecture (LSA) is built of layers corresponding to ...
reason.cs.uiuc.edu

A Temporal Logic Based Framework for Intrusion Detection
We propose a framework for intrusion detection that is based on run ... In this paper, we adopt a temporal logic approach to signature-based intrusion detec ...
osl.cs.uiuc.edu

Design of Logic-based Intelligent Systems - Books - Computers
Shop Barnes & Noble for "Design of Logic-based Intelligent Systems" by Klaus Truemper. Find new low prices, up to 45% off on a wide selection of Intelligence (AI)
search.barnesandnoble.com

A Regulation-Centric, Logic-Based Compliance Assistance Framework
Logic can be added to the XML-based regulation document to facilitate ... sentence negating the target of the logic-based control statement. ...
eig.stanford.edu

Adding Constraints to Logic based Formalisms
e ect of adding constraints to existing logic based executable formalisms fo ... In this paper we look at combining constraint reasoning with logic based for ...
www.cse.unsw.edu.au

Qualitative Comparison of Graph-based and Logic-based Multi ...
a representative of logic-based approaches and Subdue is se ... CProgol can be partially generalized to other logic-based ... a logic-based approach performs ...
ailab.wsu.edu

Semantic Web Service Composition via Logic-based Program ...
The approach described in this thesis uses Linear Logic-based theo ... lem from the viewpoint of logic-based program synthesis, and to propose an ...
www.cs.cmu.edu