Sciweavers

74 search results - page 4 / 15
» A Deontic Logical Framework for Modelling Product Families
Sort
View
RIDE
1999
IEEE
13 years 11 months ago
Specification of Cooperative Constraints in Virtual Enterprise Workflow
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
Anne H. H. Ngu
RR
2009
Springer
14 years 1 days ago
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
Robert A. Kowalski, Fariba Sadri
AIL
1999
118views more  AIL 1999»
13 years 7 months ago
Autonomous Agents with Norms
In this paper we present some concepts and their relations that are necessary for modeling autonomous agents in an environment that is governed by some (social) norms. We divide th...
Frank Dignum
PPSWR
2005
Springer
14 years 1 months ago
Logical Reconstruction of RDF and Ontology Languages
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to ...
Jos de Bruijn, Enrico Franconi, Sergio Tessaris
FPGA
2009
ACM
148views FPGA» more  FPGA 2009»
14 years 2 months ago
SmartOpt: an industrial strength framework for logic synthesis
In recent years, the maximum logic capacity of each successive FPGA family has been increasing by more than 50%, which motivates scalable solutions. Meanwhile, academic research i...
Stephen Jang, Dennis Wu, Mark Jarvin, Billy Chan, ...