Searching for "Revision Programming." – sorted by Relevance.
-
Revision Programming
- Revision programming Victor W. Marek Miros/law Truszczy'nski Department of Computer Science
- Cited by 25 (1 self) – Add To MetaCart
-
Annotated Revision Programs
- Annotated revision programs Victor Marek Inna Pivkina Miros/law Truszczy'nski Department
- Cited by 2 (0 self) – Add To MetaCart
-
Update Rules and Revision Programs
- Update Rules and Revision Programs M. Halfeld Ferrari Alves 1;3 , D. Laurent 1;2 , N
- Add To MetaCart
-
Revision programming = logic programming + constraints
- Revision programming = logic programming + constraints Victor Marek, Inna Pivkina and Mirosław
- Cited by 1 (1 self) – Add To MetaCart
-
Embedding Revision Programs in Logic Programming Situation Calculus
- Embedding Revision Programs in Logic Programming Situation Calculus Chitta Baral Department
- Cited by 3 (0 self) – Add To MetaCart
-
Revision Programming = Logic Programming + Integrity Constraints
- Revision programming = logic programming + integrity constraints Victor Marek, Inna Pivkina
- Cited by 5 (5 self) – Add To MetaCart
-
Revising Knowledge in Multi-Agent Systems Using Revision Programming with Preferences
- Revising Knowledge in Multi-Agent Systems Using Revision Programming with Preferences Inna Pivkina
- Add To MetaCart
-
Revision by Communication: Program Revision by Consulting Weaker Semantics
- Revision by Communication: Program Revision by Consulting Weaker Semantics C. Witteveen and W
- Add To MetaCart
-
Revision Specifications by Means of Programs
- Revision specifications by means of programs Victor W. Marek and Miros/law Truszczy
- Cited by 17 (0 self) – Add To MetaCart
-
Annotated Revision Specification Programs
- Annotated Revision Specification Programs Melvin Fitting mlflc@(email omitted); Dept. Mathematics
- Add To MetaCart

