Reactive Computing as Model Generation-Reference-Cited by-同舟云学术

Reactive Computing as Model Generation

Published:2015-01 Issue:1 Volume:33 Page:33-67
ISSN:0288-3635
Container-title:New Generation Computing
language:en
Short-container-title:New Gener. Comput.

Author:

Kowalski Robert,Sadri Fariba

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s00354-015-0103-z.pdf

Reference54 articles.

1. Abiteboul, S., Hull, R. and Vianu, V., Foundations of Databases, Addison-Wesley, 1995.

2. Agotnes, T., Van Der Hoek, W., Rodriguez-Aguilar, J. A., Sierra, C., and Wooldridge, M. “On the logic of normative systems,” Proc. of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI’07), pp. 1181–1186, 2007.

3. Alferes, J.J., Banti, F. and Brogi A., “An Event-Condition-Action Logic Programming Language,” 10th European Conference on Logics in Artificial Intelligence. JELIA 06, Lecture Notes in Artificial Intelligence 4160, Springer-Verlag, pp. 29–42, 2006.

4. Bailey, J., Georgeff, M., Kemp, D., Kinny, D. and Ramamohanarao, K., “Active databases and agent systems—A comparison,” Rules in Database Systems, pp. 342–356, 1995.

5. Baral, C. and Lobo, J., “Characterizing production systems using logic programming and situation calculus” http://www.cs.utep.edu/baral/papers/char-prod-systems.ps , 1995.

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Interactive generation of new knowledge based on automatic means of logical inference;Ontology of Designing;2023-12-30

2. Logical English for Law and Education;Prolog: The Next 50 Years;2023

3. Combining Logic Programming and Imperative Programming in LPS;Prolog: The Next 50 Years;2023

4. Fifty Years of Prolog and Beyond;Theory and Practice of Logic Programming;2022-05-17

5. Reactive Answer Set Programming;Theory and Practice of Logic Programming;2022-03-25