217 search results - page 29 / 44 » Logical Formal Description of Expert Systems |
ISORC
2009
IEEE
15 years 6 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
110
click to vote
BTW
2001
Springer
15 years 4 months ago
2001
Springer
Mediators – used in federated information systems – provide a homogeneous read-only access to a set of autonomous information sources. To achieve semantic integration of the h...
101
click to vote
ICAIL
2003
ACM
15 years 5 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
107
click to vote
NMR
2004
Springer
15 years 5 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper, we consider existing approaches to ontology definition and validation. Popular techniques include the use of domain experts or reliance on formal logic. We consider...