Sciweavers

217 search results - page 35 / 44
» Logical Formal Description of Expert Systems
Sort
View
LREC
2008
155views Education» more  LREC 2008»
15 years 1 months ago
OpenCCG Workbench and Visualization Tool
Combinatorial Category Grammar is (CCG) a lexicalized grammar formalism which is expressed by syntactic category, a logical form representation. There are difficulties in represen...
Thepchai Supnithi, Suchinder Singh, Taneth Ruangra...
IFIP12
2004
15 years 1 months ago
An Agency for Semantic-Based Automatic Discovery of Web Services
With the evolution of Web service technology, services will not only become increasingly sophisticated, but also move into the area of business-to-consumer and peer-to-peer interac...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
15 years 5 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
DFG
2004
Springer
15 years 5 months ago
A Unifying Semantics for Sequential Function Charts
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastia...
IANDC
2010
95views more  IANDC 2010»
14 years 9 months ago
Structured anaphora to quantifier domains
The paper proposes a novel analysis of quantificational subordination, e.g. Harvey courts a woman at every convention. {She is very pretty. vs. She always comes to the banquet with...
Adrian Brasoveanu