Document Search Results

Partial semantics for truth maintenance – a compositional approach. (English) Zbl 0789.68133

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 544-561 (1991).

MSC: 68T27 68Q55

Cite Review PDF

Weydert, Emil

Doxastic preference logic. A new look at belief revision. (English) Zbl 0790.03027

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 526-543 (1991).

MSC: 03B60 68T27 68T30

Cite Review PDF

Vreeswijk, Gerard

A complete logic for autoepistemic membership. (English) Zbl 0789.03025

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 516-525 (1991).

MSC: 03B60 03B45 68T27 68T30

Cite Review PDF

Voorbraak, Frans

The logic of objective knowledge and rational belief. (English) Zbl 0789.68132

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 499-515 (1991).

MSC: 68T27 68T30

Cite Review PDF

Stachniak, Z.

Note on effective constructibility of resolution proof systems. (English) Zbl 0790.03011

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 487-498 (1991).

MSC: 03B35 68T15 03B50

Cite Review PDF

Singh, Munindar P.; Asher, Nicholas M.

Towards a formal theory of intentions. (English) Zbl 0789.68131

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 472-486 (1991).

MSC: 68T27 03B65 68T20

Cite Review PDF

Rahat, Amir; Francez, Nissim; Shmueli, Oded

On the equivalence of deferred substitution and immediate substitution semantics for logic programs. (English) Zbl 0789.68020

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 454-471 (1991).

MSC: 68N17 68Q55

Cite Review PDF

Petermann, Uwe

Towards a connection procedure with built in theories. (English) Zbl 0796.03011

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 444-453 (1991).

MSC: 03B35

Cite Review PDF

Niemelä, Ilkka

Towards automatic autoepistemic reasoning. (English) Zbl 0789.68130

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 428-443 (1991).

MSC: 68T27 68T30 03B60 68T15

Cite Review PDF

Muskens, Reinhard

Anaphora and the logic of change. (English) Zbl 0789.68117

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 412-427 (1991).

MSC: 68T50 03B65 68T99

Cite Review PDF

Meyer, J.-J. Ch.; van der Hoek, W.

Non-monotonic reasoning by monotonic means. (English) Zbl 0789.68129

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 399-411 (1991).

MSC: 68T27 03B60

Cite Review PDF

Mathieu, Philippe; Delahaye, Jean-Paul

The logical compilation of knowledge bases. (English) Zbl 0789.68136

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 386-398 (1991).

MSC: 68T35

Cite Review PDF

Markov, Zdravko; Dichev, Christo

The net-clause language – a tool for data-driven inference. (English) Zbl 0789.68127

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 366-385 (1991).

MSC: 68T99

Cite Review PDF

Leiß, Hans

Polymorphic constructs in natural and programming languages. (English) Zbl 0797.68132

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 348-365 (1991).

MSC: 68T50 68N20 68N15 03B40

Cite Review PDF

Lakemeyer, Gerhard

A computationally attractive first-order logic of belief. (English) Zbl 0789.68128

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 333-347 (1991).

MSC: 68T27 68T30

Cite Review PDF

Laenens, E.; Vermeir, D.

A logical basis for object oriented programming. (English) Zbl 0797.03026

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 317-332 (1991).

MSC: 03B70 68N01 68N17 03B60

Cite Review PDF

Jaspars, Jan

Theoretical circumscription in partial modal logic. (English) Zbl 0798.03027

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 301-316 (1991).

MSC: 03B60 03B45 68T27 68Q55 03C90

Cite Review PDF

Huang, Zhisheng; Kwast, Karen

Awareness, negation and logical omniscience. (English) Zbl 0797.03021

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 282-300 (1991).

MSC: 03B60 68T27 68T30

Cite Review PDF

van der Hoek, Wiebe

Systems for knowledge and beliefs. (English) Zbl 0814.03014

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 267-281 (1991).

Reviewer: V.Shekhtman (Moskva)

MSC: 03B45 68T27 68T30

Cite Review PDF

Gardent, Claire

Dynamic semantics and VP-ellipsis. (English) Zbl 0797.03022

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 251-266 (1991).

MSC: 03B65 68T50

Cite Review PDF

Frisch, Alan M.; Scherl, Richard B.

A constraint logic approach to modal deduction. (English) Zbl 0796.03013

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 234-250 (1991).

MSC: 03B35 03B45

Cite Review PDF

Freund, Michael; Lehmann, Daniel

Deductive inference operations. (English) Zbl 0790.03023

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 227-233 (1991).

MSC: 03B60 68T27

Cite Review PDF

Fraňová, Marta

Constructive matching – a methodology for inductive theorem proving. (English) Zbl 0789.68124

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 212-226 (1991).

MSC: 68T15 68Q60

Cite Review PDF

Doherty, Patrick

NM3 – a three-valued cumulative non-monotonic formalism. (English) Zbl 0789.03024

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 196-211 (1991).

MSC: 03B60 68T27 03B50

Cite Review PDF

Delahaye, J. P.; Thibau, V.

The optimal model of a program with negation. (English) Zbl 0789.68089

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 180-195 (1991).

MSC: 68Q55 68N17

Cite Review PDF

Davies, Nick

A first order logic of truth, knowledge and belief. (English) Zbl 0797.03020

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 170-179 (1991).

MSC: 03B60 68T27 68T30 03B45

Cite Review PDF

Caferra, Ricardo; Zabel, Nicolas

Extending resolution for model construction. (English) Zbl 0797.03009

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 153-169 (1991).

MSC: 03B35 68T15

Cite Review PDF

Buszkowski, Wojciech

On generative capacity of the Lambek calculus. (English) Zbl 0797.03027

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 139-152 (1991).

MSC: 03B99 03B65 68Q45

Cite Review PDF

Bol, Roland N.

Loop checking and negation. (English) Zbl 0797.68104

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 121-138 (1991).

MSC: 68Q55 68N17

Cite Review PDF

Pratt, Vaughan

Action logic and pure induction. (English) Zbl 0814.03024

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 97-120 (1991).

Reviewer: V.Shekhtman (Moskva)

MSC: 03B70 08A70 03B45 08B05 03G15 18D05

Cite Review PDF

Pereira, Fernando C. N.

Semantic interpretation as higher-order deduction. (English) Zbl 0797.03024

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 78-96 (1991).

MSC: 03B65 68N17

Cite Review PDF

Langholm, Tore

What is a Horn clause in partial logic? (English) Zbl 0797.03028

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 65-77 (1991).

MSC: 03C07

Cite Review PDF

Groenendijk, Jeroen; Stokhof, Martin

Two theories of dynamic semantics. (English) Zbl 0797.03023

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 55-64 (1991).

MSC: 03B65

Cite Review PDF

Gärdenfors, Peter

Belief revision and nonmonotonic logic: Two sides of the same coin? (English) Zbl 0797.03019

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 52-54 (1991).

MSC: 03B60

Cite Review PDF

Dunn, J. Michael

Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators. (English) Zbl 0814.03044

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 31-51 (1991).

Reviewer: V.Shekhtman (Moskva)

MSC: 03G25 06A15 06D05 03B45 06E25

Cite Review PDF

Asher, Nicholas; Morreau, Michael

Commonsense entailment: A modal theory of nonmonotonic reasoning. (English) Zbl 0789.03022

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 1-30 (1991).

MSC: 03B60 03B45 68T27

Cite Review PDF

Found 36 Documents (Results 1–36)

Partial semantics for truth maintenance – a compositional approach. (English) Zbl 0789.68133

Doxastic preference logic. A new look at belief revision. (English) Zbl 0790.03027

A complete logic for autoepistemic membership. (English) Zbl 0789.03025

The logic of objective knowledge and rational belief. (English) Zbl 0789.68132

Note on effective constructibility of resolution proof systems. (English) Zbl 0790.03011

Towards a formal theory of intentions. (English) Zbl 0789.68131

On the equivalence of deferred substitution and immediate substitution semantics for logic programs. (English) Zbl 0789.68020

Towards a connection procedure with built in theories. (English) Zbl 0796.03011

Towards automatic autoepistemic reasoning. (English) Zbl 0789.68130

Anaphora and the logic of change. (English) Zbl 0789.68117

Non-monotonic reasoning by monotonic means. (English) Zbl 0789.68129

The logical compilation of knowledge bases. (English) Zbl 0789.68136

The net-clause language – a tool for data-driven inference. (English) Zbl 0789.68127

Polymorphic constructs in natural and programming languages. (English) Zbl 0797.68132

A computationally attractive first-order logic of belief. (English) Zbl 0789.68128

A logical basis for object oriented programming. (English) Zbl 0797.03026

Theoretical circumscription in partial modal logic. (English) Zbl 0798.03027

Awareness, negation and logical omniscience. (English) Zbl 0797.03021

Systems for knowledge and beliefs. (English) Zbl 0814.03014

Dynamic semantics and VP-ellipsis. (English) Zbl 0797.03022

A constraint logic approach to modal deduction. (English) Zbl 0796.03013

Deductive inference operations. (English) Zbl 0790.03023

Constructive matching – a methodology for inductive theorem proving. (English) Zbl 0789.68124

NM3 – a three-valued cumulative non-monotonic formalism. (English) Zbl 0789.03024

The optimal model of a program with negation. (English) Zbl 0789.68089

A first order logic of truth, knowledge and belief. (English) Zbl 0797.03020

Extending resolution for model construction. (English) Zbl 0797.03009

On generative capacity of the Lambek calculus. (English) Zbl 0797.03027

Loop checking and negation. (English) Zbl 0797.68104

Action logic and pure induction. (English) Zbl 0814.03024

Semantic interpretation as higher-order deduction. (English) Zbl 0797.03024

What is a Horn clause in partial logic? (English) Zbl 0797.03028

Two theories of dynamic semantics. (English) Zbl 0797.03023

Belief revision and nonmonotonic logic: Two sides of the same coin? (English) Zbl 0797.03019

Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators. (English) Zbl 0814.03044

Commonsense entailment: A modal theory of nonmonotonic reasoning. (English) Zbl 0789.03022

Filter Results by …

Author

Main Field