graph-algorithmslogicmodalcomplexitygraph-theorytemporal-logiclogic-programmingmodal-logiccomplexity-theory UpdatedMay 26, 2022 Python Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions ...
Komorowski, Henryk Jan, & Omori, Shigeo. (1985). A model and an implementation of a logic programming environment. SIGPLAN Notices, 20(7), 191-198.Komorowski, H. J. and Omori, S., A model and an implementation of a logic ...
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system specification and verification. In particular, the XMC model chec... B Cui,Y Dong,X Du,... - Springer-Verlag 被引量...
S. Warren. Logic programming and model checking. In C. Palamidessi, H. Glaser, and K. Meinke, editors, Proceedings of ALP/PLILP'98, LNCS 1490, pages 1-20. Springer-Verlag, 1998.Cui, B., Dong, Y., Du, X., Narayan Kumar, K., Ramakrishnan, C.R., Ramakr, I.V.: Logic ...
The game of Pong, showing off the language's object-oriented model. Use the arrow keys to move the paddle left and right to bounce a ball. Every bounce, the paddle becomes smaller, and the game ends when the ball hits the bottom of the screen. This program was supplied by the Nand ...
Logic Programming in PLCsMost PLC programming consists of input contacts and output coils arranged in logical series/parallel combinations to influence real-world outcomes.Although it seems each model of PLC has its own idiosyncratic standard for programming, there does exist an international standard ...
We define logic programs with defaults and argumentation theories, a new framework that unifies most of the earlier proposals for defeasible reasoning in logic programming. We present a model-theoretic semantics and study its reducibility and well-behavi
- International Conference on Logic Programming 被引量: 127发表: 2007年 Well-founded and stable semantics for logic programs with aggregates We investigate the problem of defining well-founded and stable model semantics for logic programs extended with arbitrary aggregate functions. Our work is ......
game theoryWe present systems of logic programming agents (LPAS) to model the interactions between decision-makers while evolving to a conclusion. Such a ... MD Vos,D Vermeir - 《Annals of Mathematics & Artificial Intelligence》 被引量: 49发表: 2004年 Dynamic Decision-Making in Logic Programm...
Two considerations could justify the decision of implementing a fuzzy model in software development effort estimation: first, it is impossible to develop a precise mathematical model of the domain [23]; second, metrics only produce estimations of the real complexity. In accordance with the previous ...