Document Search Results

Representation results for non-cumulative logics. (English) Zbl 07547775

Ghosh, Sujata (ed.) et al., Logic, rationality, and interaction. 8th international workshop, LORI 2021, Xi’ian, China, October 16–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13039, 259-272 (2021).

MSC: 03B50 03B60

Cite Review PDF

Full Text: DOI

Timany, Amin; Sozeau, Matthieu

Cumulative inductive types in Coq. (English) Zbl 1462.68221

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 29, 16 p. (2018).

MSC: 68V15 68V20

Cite Review PDF

Full Text: DOI

Assaf, Ali

A calculus of constructions with explicit subtyping. (English) Zbl 1434.03080

Herbelin, Hugo (ed.) et al., 20th international conference on types for proofs and programs, TYPES’14, Paris, France, May 12–15, 2014. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 39, 27-46 (2015).

MSC: 03B70 03B38 03B40

Cite Review PDF

Full Text: DOI

Robaldo, Livio

Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality. (English) Zbl 1234.03015

J. Logic Lang. Inf. 20, No. 2, 233-271 (2011).

MSC: 03B65

Cite Review PDF

Full Text: DOI

Pereira, Luís Moniz; Pinto, Alexandre Miguel

Tight semantics for logic programs. (English) Zbl 1237.68048

Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 134-143, electronic only (2010).

MSC: 68N17 68Q55

Cite Review PDF

Full Text: DOI Link

Sautter, Frank Thomas

Chateaubriand’s realist conception of logic. (English) Zbl 1230.03033

Axiomathes 20, No. 2-3, 357-364 (2010).

MSC: 03A05 00A30

Cite Review PDF

Full Text: DOI

Gabbay, Dov M.; Schlechta, Karl

Cumulativity without closure of the domain under finite unions. (English) Zbl 1205.03041

Rev. Symb. Log. 1, No. 3, 372-392 (2008).

MSC: 03B60

Cite Review PDF

Full Text: DOI arXiv

Cross, Charles B.

Nonmonotonic inconsistency. (English) Zbl 1082.03508

Artif. Intell. 149, No. 2, 161-178 (2003).

MSC: 03B60 68T27

Cite Review PDF

Full Text: DOI

Arló-Costa, Horacio; Thomason, Richmond H.

Iterative probability kinematics. (English) Zbl 0989.03020

J. Philos. Log. 30, No. 5, 479-524 (2001).

MSC: 03B48 03A05 03B30 03B42

Cite Review PDF

Full Text: DOI

Leitgeb, H.

Nonmonotonic reasoning by inhibition nets. (English) Zbl 0976.68122

Artif. Intell. 128, No. 1-2, 161-201 (2001).

MSC: 68T05 68T27 68N17

Cite Review PDF

Full Text: DOI

Schlechta, Karl

A topological construction of a non-smooth model of cumulativity. (English) Zbl 0935.68103

J. Log. Comput. 9, No. 4, 457-462 (1999).

MSC: 68T27

Cite Review PDF

Full Text: DOI

Zhang, Mingyi; Zhang, Ying

Characterizations and algorithms of extensions for CADL and QDL. (English) Zbl 0919.03022

J. Comput. Sci. Technol. 14, No. 2, 140-145 (1999).

MSC: 03B60 68T27

Cite Review PDF

Full Text: DOI

Janhunen, Tomi

Non-monotonic systems: a framework for analyzing semantics and structural properties of non-monotonic reasoning. (English) Zbl 0911.03013

Helsinki University of Technology, Digital Systems Laboratory. Series A: Research Reports. 49. Hut: Helsinki Univ. of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory. viii, 211 p. (1998).

Reviewer: Anna Gomolińska (Bialystok)

MSC: 03B60 68T27 68N17 68Q25 03B70 03-02 68-02

Cite Review PDF

Dix, Jürgen

A classification theory of semantics of normal logic programs. I: Strong properties. (English) Zbl 0829.68021

Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 22, No. 3, 227-255 (1995).

MSC: 68N17 68Q55

Cite Review PDF

Giordano, Laura; Martelli, Alberto

On cumulative default logics. (English) Zbl 0803.68126

Artif. Intell. 66, No. 1, 161-179 (1994).

MSC: 68T27 03B60

Cite Review PDF

Full Text: DOI

Brewka, Gerhard; Makinson, David; Schlechta, Karl

Cumulative inference relations for JTMS and logic programming. (English) Zbl 0792.68170

Dix, Jürgen (ed.) et al., Nonmonotonic and inductive logic. 1st international workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 543, 1-12 (1991).

MSC: 68T27 03B60 68N17

Cite Review PDF

Brewka, Gerhard

Cumulative default logic: In defense of nonmonotonic inference rules. (English) Zbl 0753.03011

Artif. Intell. 50, No. 2, 183-205 (1991).

Reviewer: D.Makinson (Ville d’Avray)

MSC: 03B60 68T27

Cite Review PDF

Full Text: DOI

Schaub, Torsten

Assertional default theories: A semantical view. (English) Zbl 0766.68123

Principles of knowledge representation and reasoning, Proc. 2nd Int. Conf., Cambridge/MA (USA) 1991, 496-506 (1991).

MSC: 68T27 68Q55

Cite Review PDF

Dix, Jürgen

Some tendencies in non-monotonic reasoning. I: The main approaches. (English) Zbl 0685.03019

Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 104, 81-105 (1989).

Reviewer: D.Makinson

MSC: 03B60

Cite Review PDF

Found 19 Documents (Results 1–19)

Representation results for non-cumulative logics. (English) Zbl 07547775

Cumulative inductive types in Coq. (English) Zbl 1462.68221

A calculus of constructions with explicit subtyping. (English) Zbl 1434.03080

Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality. (English) Zbl 1234.03015

Tight semantics for logic programs. (English) Zbl 1237.68048

Chateaubriand’s realist conception of logic. (English) Zbl 1230.03033

Cumulativity without closure of the domain under finite unions. (English) Zbl 1205.03041

Nonmonotonic inconsistency. (English) Zbl 1082.03508

Iterative probability kinematics. (English) Zbl 0989.03020

Nonmonotonic reasoning by inhibition nets. (English) Zbl 0976.68122

A topological construction of a non-smooth model of cumulativity. (English) Zbl 0935.68103

Characterizations and algorithms of extensions for CADL and QDL. (English) Zbl 0919.03022

Non-monotonic systems: a framework for analyzing semantics and structural properties of non-monotonic reasoning. (English) Zbl 0911.03013

A classification theory of semantics of normal logic programs. I: Strong properties. (English) Zbl 0829.68021

On cumulative default logics. (English) Zbl 0803.68126

Cumulative inference relations for JTMS and logic programming. (English) Zbl 0792.68170

Cumulative default logic: In defense of nonmonotonic inference rules. (English) Zbl 0753.03011

Assertional default theories: A semantical view. (English) Zbl 0766.68123

Some tendencies in non-monotonic reasoning. I: The main approaches. (English) Zbl 0685.03019

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field

Software