Advanced Search

Query:

Fill in the form and click »Search«...

Format:

Display: entries per page entries

first | last | previous | next Result: 11 - 13 of 29

11
Zbl 1045.68130 Antoniou, Grigoris; Maher, Michael J.
Embedding defeasible logic into logic programs. (English)
Stuckey, Peter J. (ed.), Logic programming. 18th international conference, ICLP 2002, Copenhagen, Denmark, July 29 -- August 1, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2401, 393-404 (2002). MSC2000: *68T27 68N17

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article

12
Zbl 1045.68529 Maher, Michael J.
Propagation completeness of reactive constraints. (English)
Stuckey, Peter J. (ed.), Logic programming. 18th international conference, ICLP 2002, Copenhagen, Denmark, July 29 -- August 1, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2401, 148-162 (2002). MSC2000: *68N19

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article

13
Zbl 1171.68740 Antoniou, Grigoris; Billington, David; Governatori, Guido; Maher, Michael J.
Representation results for defeasible logic. (English)
ACM Trans. Comput. Log. 2, No. 2, 255-287 (2001). MSC2000: *68T27 03B60

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article Journal

first | last | previous | next Result: 11 - 13 of 29

	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.
	Elementary number theory. Primes, congruences, and secrets.

Advanced Search

Zentralblatt MATH Berlin [Germany]