Structured Clusters: A Framework to Reason with Contradictory Interests (Englisch)
- Neue Suche nach: Rodrigues, O.
- Neue Suche nach: Rodrigues, O.
In:
JOURNAL OF LOGIC AND COMPUTATION
;
13
;
69-98
;
2003
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Structured Clusters: A Framework to Reason with Contradictory Interests
-
Beteiligte:Rodrigues, O. ( Autor:in )
-
Erschienen in:JOURNAL OF LOGIC AND COMPUTATION ; 13 ; 69-98
-
Verlag:
- Neue Suche nach: OXFORD UNIVERSITY PRESS
-
Erscheinungsdatum:01.01.2003
-
Format / Umfang:30 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 005.115
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
DDC: 005.115 -
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis – Band 13
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
EditorialGabbay, Dov M. et al. | 2003
- 3
-
Ways of Doing Logic: What was Different about AGM 1985?Makinson, D. et al. | 2003
- 3
-
Controlled Revision - An algorithmic approach for belief revisionGabbay, Dov / Pigozzi, Gabriella / Woods, John et al. | 2003
- 37
-
Ten Philosophical Problems in Belief RevisionHansson, Sven Ove et al. | 2003
- 51
-
When Maximizing Entropy gives the Rational ClosureHill, Lee C. / Paris, Jeff B. et al. | 2003
- 69
-
Structured Clusters: A Framework to Reason with Contradictory InterestsRodrigues, Odinaldo et al. | 2003
- 99
-
Credibility-limited Functions for Belief BasesFermé, Eduardo / Mikalef, Juan / Taboada, Jorge et al. | 2003
- 111
-
Coherence and Conservatism in the Dynamics of Belief II: Iterated Belief Change without Dispositional CoherenceRott, Hans et al. | 2003
- 147
-
Representation and Human ReasoningMeulen, Alice G. B. Ter et al. | 2003
- 157
-
Forthcoming Papers| 2003
- 159
-
On the Turing Degrees of Weakly Computable Real NumbersZheng, Xizhong et al. | 2003
- 173
-
Characterizing Interpolation Pairs in Infinitary Graded LogicsD'Agostino, Giovanna et al. | 2003
- 195
-
A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with ProjectionBowman, Howard / Thompson, Simon et al. | 2003
- 241
-
A Tableau Calculus for Hajek's Logic BLMontagna, Franco / Pinna, G. Michele / Tiezzi, Elisa B. P. et al. | 2003
- 261
-
On the Complexity of the First-order Random TheoryLotfallah, Wafik Boulos et al. | 2003
- 273
-
On Almost Sure Elimination of Numerical QuantifiersKaila, Risto et al. | 2003
- 287
-
Uniform Lazy NarrowingAlpuente, María / Falaschi, Moreno / Julián, Pascual / Vidal, Germán et al. | 2003
- 313
-
Review: Refinement in Z and object-Z: Foundations and Advanced ApplicationsBanach, R. et al. | 2003
- 315
-
Books Received| 2003
- 317
-
Editorial: Special Issue on Computational Dialectics: an IntroductionBrewka, Gerd / Prakken, Henry / Vreeswijk, Gerard et al. | 2003
- 319
-
DefLog: on the Logical Interpretation of Prima Facie Justified AssumptionsVerheij, Bart et al. | 2003
- 347
-
Properties and Complexity of Some Formal Inter-agent DialoguesParsons, Simon / Wooldridge, Michael / Amgoud, Leila et al. | 2003
- 377
-
On Decision Problems Related to the Preferred Semantics for Argumentation FrameworksCayrol, Claudette / Doutre, Sylvie / Mengin, Jerome et al. | 2003
- 405
-
Collective Argumentation and Disjunctive Logic ProgrammingBochman, Alexander et al. | 2003
- 429
-
Persuasion in Practical Argument Using Value-based Argumentation FrameworksBench-Capon, Trevor J. M. et al. | 2003
- 453
-
Algebraic Semantics for Paraconsistent Nelson's LogicOdintsov, Sergei P. et al. | 2003
- 469
-
Fuzzy Logics with Noncommutative ConjuctionsHájek, Petr et al. | 2003
- 481
-
A Note on Absolutely Unorderable Combinatory AlgebrasLusin, Stefania / Salibra, Antonino et al. | 2003
- 503
-
Fixed-point Logics with Nondeterministic ChoiceDawar, Anuj / Richerby, David et al. | 2003
- 532
-
Hoops and Fuzzy LogicEsteva, Francesc / Godo, Lluís / Hájek, Petr / Montagna, Franco et al. | 2003
- 557
-
Reducing Preferential Paraconsistent Reasoning to Classical EntailmentArieli, Ofer / Denecker, Marc et al. | 2003
- 581
-
A Complete Axiomatization for Blocks WorldCook, Stephen A. / Liu, Yongmei et al. | 2003
- 595
-
Fibring Logics with Topos SemanticsConiglio, Marcelo E. / Sernadas, Amilcar C. / Sernadas, Cristina S. et al. | 2003
- 625
-
Book Reviews| 2003
- 639
-
A Linear Spine CalculusCervesato, Iliano / Pfenning, Frank et al. | 2003
- 689
-
Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution PropagationDyckhoff, Roy / Urban, Christian et al. | 2003
- 707
-
Semantic Labelled Tableaux for Propositional BI&unknown;Galmiche, D. et al. | 2003
- 707
-
Semantic Labelled Tableaux for Propositional BI{bot}Galmiche, Didier / Méry, Daniel et al. | 2003
- 707
-
Semantic Labelled Tableaux for Propositional BI&unknown;Galmiche, D. / Mery, D. et al. | 2003
- 755
-
A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILPBellin, Gianluigi / Ranalter, Kurt et al. | 2003
- 777
-
Proof Nets for Classical LogicRobinson, Edmund et al. | 2003
- 801
-
An Axiomatization of Linear Temporal Logic in the Calculus of Inductive ConstructionsCoupet-Grimal, Solange et al. | 2003
- 815
-
Formal Verification of an Incremental Garbage CollectorCoupet-Grimal, Solange / Nouvet, Catherine et al. | 2003
- 835
-
Hypersequent Calculi for Godel Logics -- a SurveyBaaz, Matthias / Ciabattoni, Agata / Fermüller, Christian G. et al. | 2003
- 863
-
A Logical Viewpoint on Process-algebraic QuotientsKucera, Antonín / Esparza, Javier et al. | 2003
- 881
-
Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PINDMoniri, Morteza et al. | 2003
- 889
-
Reasoning About Space: The Modal WayAiello, Marco / van Benthem, Johan / Bezhanishvili, Guram et al. | 2003
- 921
-
A Real-time Semantics of Temporal Logic of ActionsKaminski, Michael / Yariv, Yael et al. | 2003
- 939
-
A Modal Perspective on Path ConstraintsAlechina, Natasha / Demri, Stéphane / de Rijke, Maarten et al. | 2003
- 957
-
Review: Mathematics of Quantum ComputationBanach, R. et al. | 2003
- 959
-
Review: Handbook of Process AlgebraBanach, R. et al. | 2003
- 967
-
Acknowledgements| 2003