4513 search results - page 749 / 903 » Logic programming with satisfiability |
211
Voted
ICTL
1994
15 years 7 months ago
1994
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
136
click to vote
SAC
1994
ACM
15 years 7 months ago
1994
ACM
An extension of Me parallel constraint logic programming language ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to dea...
112
Voted
CIA
2006
Springer
15 years 7 months ago
2006
Springer
The paper describes a decentralized peer-to-peer multi-agent learning method based on inductive logic programming and knowledge trading. The method uses first-order logic for model...
137
Voted
REX
1991
15 years 7 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
130
click to vote
ICWS
2008
IEEE
15 years 4 months ago
2008
IEEE
Programmable Logic Controllers (PLC) are widely used in process automation due to their fast and guarantee response time. However their programming and interfacing capacities are ...