Sciweavers

393 search results - page 25 / 79
» Integrating Logic Programming and Production Systems in Abdu...
Sort
View
IUI
1999
ACM
14 years 29 days ago
Programming by Demonstration: An Inductive Learning Formulation
Although Programming by Demonstration (PBD) has the potential to improve the productivity of unsophisticated users, previous PBD systems have used brittle, heuristic, domain-speci...
Tessa A. Lau, Daniel S. Weld
ILP
2007
Springer
14 years 2 months ago
Applying Inductive Logic Programming to Process Mining
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Serg...
WSC
2008
13 years 11 months ago
PLCStudio: Simulation based PLC code verification
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
Sang C. Park, Chang Mok Park, Gi-Nam Wang, Jonggeu...
IFIP
2004
Springer
14 years 2 months ago
A Logic for Auditing Accountability in Decentralized Systems
We propose a language that allows agents to distribute data with usage policies in a decentralized architecture. In our framework, the compliance with usage policies is not enforce...
Ricardo Corin, Sandro Etalle, J. I. den Hartog, Ga...
WOA
2003
13 years 10 months ago
Strips-like Planning in the DALI Logic Programmming Language
— In this paper we discuss how some features of the new logic programming language DALI for agents and multiagent systems are suitable to programming agents equipped with plannin...
Stefania Costantini, Arianna Tocchio