Search

Your search keyword '"DEFAULT logic"' showing total 1,307 results
Start Over Descriptor "DEFAULT logic"

Refine your results

1,307 results on '"DEFAULT logic"'

1. Strong Backdoors for Default Logic.

Author

Fichte, Johannes Klaus, Meier, Arne, and Schindler, Irena

Subjects
PROPOSITION (Logic), GENERALIZATION, DEFAULT (Finance), LOGIC
Abstract

In this article, we introduce a notion of backdoors to Reiter's propositional default logic and study structural properties of it. Also we consider the problems of backdoor detection (parameterised by the solution size) as well as backdoor evaluation (parameterised by the size of the given backdoor) for various kinds of target classes (CNF, KROM, MONOTONE) and all SCHAEFER classes. Also, we study generalisations of HORN-formulas, namely QHORN, RHORN, as well as DUALHORN. For these classes, we also classify the computational complexity of the implication problem. We show that backdoor detection is fixed-parameter tractable for the considered target classes and prove a complete trichotomy for backdoor evaluation. The problems are either fixed-parameter tractable, para-DeltaP2-complete, or para-NP-complete, depending on the target class. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

2. Modeling Deep Disagreement in Default Logic.

Author

Andersen, Frederik J.

Abstract

Default logic has been a very active research topic in artificial intelligence since the early 1980s, but has not received as much attention in the philosophical literature thus far. This paper shows one way in which the technical tools of artificial intelligence can be applied in contemporary epistemology by modeling a paradigmatic case of deep disagreement using default logic. In §1 model-building viewed as a kind of philosophical progress is briefly motivated, while §2 introduces the case of deep disagreement we aim to model. On the heels of this, §3 defines our formal framework, viz., a refined Horty-style default logic. §4 then uses the framework to model deep disagreement, and finally §5 provides a critical discussion of the result. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

3. Two factor-based models of precedential constraint: a comparison and proposal.

Author

Mullins, Robert

Subjects
LEGAL precedent, REASONING, DEFAULT (Law), JUDICIAL opinions, LAW
Abstract

The article considers two different interpretations of the reason model of precedent pioneered by John Horty. On a plausible interpretation of the reason model, past cases provide reasons to prioritize reasons favouring the same outcome as a past case over reasons favouring the opposing outcome. Here I consider the merits of this approach to the role of precedent in legal reasoning in comparison with a closely related view favoured by some legal theorists, according to which past cases provide reasons for undercutting (or 'excluding') reasons favouring the opposing outcome. After embedding both accounts within a general default logic, I note some important differences between the two approaches that emerge as a result of plausible distinctions between rebutting and undercutting defeat in formal models of legal reasoning. These differences stem from the 'preference independence' of undercutting defeat. Undercutting reasons succeed in defeating opposing reasons irrespective of their relative strength. As a result, the two accounts differ in their account of the way in which precedents constrain judicial reasoning. I conclude by suggesting that the two approaches can be integrated within a single model, in which the distinction between undercutting and rebutting defeat is used to account for the distinction between strict and persuasive forms of precedential constraint. [ABSTRACT FROM AUTHOR]

Published
2023
Full Text
View/download PDF

4. Common Law Precedent and the Logic of Reasons

Author

Faroldi, Federico L. G., Rahman, Shahid, Series Editor, Redmond, Juan, Managing Editor, van Eemeren, Frans H., Editorial Board Member, McConaughey, Zoe, Editorial Board Member, Street, Tony, Editorial Board Member, Woods, John, Editorial Board Member, Galvez-Behar, Gabriel, Editorial Board Member, Gazziero, Leone, Editorial Board Member, Laks, André, Editorial Board Member, Webb, Ruth, Editorial Board Member, Dubucs, Jacques, Editorial Board Member, Chemla, Karine, Editorial Board Member, Hansson, Sven Ove, Editorial Board Member, Coello, Yann, Editorial Board Member, Gregoire, Eric, Editorial Board Member, Prakken, Henry, Editorial Board Member, Recanati, François, Editorial Board Member, Heinzmann, Gerhard, Editorial Board Member, Smets, Sonja, Editorial Board Member, Sundholm, Göran, Editorial Board Member, Crubellier, Michel, Editorial Board Member, Gabbay, Dov, Editorial Board Member, Tulenheimo, Tero, Editorial Board Member, Contamin, Jean-Gabriel, Editorial Board Member, Fischer, Franck, Editorial Board Member, Ober, Josh, Editorial Board Member, Pichard, Marc, Editorial Board Member, Benis-Sinaceur, Hourya, Editorial Board Member, Armgardt, Matthias, editor, and Kvernenes, Hans Christian Nordtveit, editor

Published
2022
Full Text
View/download PDF

5. Eficacia de procesamiento de los entrañamientos y de las implicaturas conversacionales generalizadas: la lógica deductiva y la lógica por defecto.

Author

Tordera Yllescas, Juan Carlos

Subjects
LOGIC, DEFAULT (Finance), ACQUISITION of data, QUESTIONNAIRES
Abstract

Copyright of CIRCULO de Linguistica Aplicada a la Comunicacion is the property of Universidad Complutense de Madrid and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Published
2022
Full Text
View/download PDF

6. Default Rules in the Logic of First-Degree Entailments

Author

Bimbó, Katalin, Bueno, Otávio, Editor-in-Chief, Brogaard, Berit, Editorial Board Member, Chakravartty, Anjan, Editorial Board Member, French, Steven, Editorial Board Member, Dutilh Novaes, Catarina, Editorial Board Member, Omori, Hitoshi, editor, and Wansing, Heinrich, editor

Published
2019
Full Text
View/download PDF

7. A Resilient Behavior Approach Based on Non-monotonic Logic

Author

Vilchis Medina, José Luis, Siegel, Pierre, Risch, Vincent, Doncescu, Andrei, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Martínez-Villaseñor, Lourdes, editor, Batyrshin, Ildar, editor, and Marín-Hernández, Antonio, editor

Published
2019
Full Text
View/download PDF

9. Using default logic for agent behavior testing.

Author

Douha, Djamel, Mokhtari, Aicha, Guessoum, Zahia, and Berghout, Yasser Moussa

Subjects
ADAPTIVE testing, DEFAULT (Finance), LOGIC, DYNAMIC testing, NONMONOTONIC logic
Abstract

An agent is an autonomous entity that can perform actions to achieve its goals. It acts in a dynamic environment that may engender failures regarding its behavior. Therefore, a formal testing/verification approach of the agent is required to ensure the correctness of its behavior. In this paper, we propose a Default Logic formalism to abstract an agent behavior as knowledge and reasoning rules, and to verify and test the consistency of the behavior. The considered agents are implemented with JADE framework. Also, agent abstraction is translated into Answer Set Programming and solved by Clingo to generate dynamic and adaptive test cases of the agent behavior. The dynamic test cases allow predicting the agent behavior when a new information arises in the system. [ABSTRACT FROM AUTHOR]

Published
2022
Full Text
View/download PDF

10. Knowledge graph embedding by logical-default attention graph convolution neural network for link prediction.

Author

Zhang, Jiarui, Huang, Jian, Gao, Jialong, Han, Runhai, and Zhou, Cong

Subjects
*CONVOLUTIONAL neural networks, *KNOWLEDGE graphs, *ARTIFICIAL neural networks, *NONMONOTONIC logic, *FIRST-order logic
Abstract

The purpose of link prediction is to predict missing edges of the knowledge graph, or edges that may appear in the future. An abundance of data-driven methods exist, which rely on many labels and only consider the structural information about the graph. To address these problems, we have developed a logical-default attention graph convolution neural network model (DA-GCN). The model consists of three parts. First, the confidence of first-order logic inference with Default (DFLIN) was calculated by defining rules. Second, a local relational attention model was defined to represent self information, which includes first order, second order neighbor node information, and to train a graph convolution neural network based on iterative attention (IAGCN) by using centralized training distributed execution model. Third, iteratively update DFLIN and IAGCN using the Wasserstein distance to express the relation between entities. Finally, we conduct comparative experiments between the DA-GCN model and other models on a self-built dataset and three public datasets. The results show that the Mean Reciprocal Rank (MRR) value is about 36.48% higher than that of the R-GCN model. Our results show that DA-GCN achieves state-of-the-art performance compared to other specific or general integrated methods, especially on small-scale organized knowledge graphs. [ABSTRACT FROM AUTHOR]

Published
2022
Full Text
View/download PDF

11. Semantic Predictions in Natural Language Processing, Default Reasoning and Belief Revision

Author

Naumann, Ralf, Petersen, Wiebke, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Hansen, Helle Hvid, editor, Murray, Sarah E., editor, Sadrzadeh, Mehrnoosh, editor, and Zeevat, Henk, editor

Published
2017
Full Text
View/download PDF

12. Particles of (Un)expectedness: Cantonese Wo and Lo

Author

Hara, Yurie, McCready, Eric, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Otake, Mihoko, editor, Kurahashi, Setsuya, editor, Ota, Yuiko, editor, Satoh, Ken, editor, and Bekki, Daisuke, editor

Published
2017
Full Text
View/download PDF

13. Social Defaults: Observed Choices Become Choice Defaults.

Author

YOUNG EUN HUH, VOSGERAU, JOACHIM, and MOREWEDGE, CAREY K.

Subjects
DEFAULT logic, DECISION making, SOCIAL influence, SOCIAL psychology, CONFORMITY, CONSUMER behavior
Abstract

Defaults effects can be created by social contexts. The observed choices of others can become social defaults, increasing their choice share. Social default effects are a novel form of social influence not due to normative or informational influence: participants were more likely to mimic observed choices when choosing in private than in public (experiment 1) and when stakes were low rather than high (experiment 2). Like other default effects, social default effects were greater for uncertain rather than certain choices (experiment 3) and were weaker when choices required justification (experiment 4). Social default effects appear to occur automatically as they become stronger when cognitive resources are constrained by time pressure or load, and they can be sufficiently strong to induce preference reversals (experiments 5 and 6). [ABSTRACT FROM AUTHOR]

Published
2014
Full Text
View/download PDF

15. Restricted Four-Valued Semantics for Answer Set Programming

Author

Chen, Chen, Lin, Zuoquan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Booth, Richard, editor, and Zhang, Min-Ling, editor

Published
2016
Full Text
View/download PDF

18. Multi-context Systems with Preferences

Author

Le, Tiep, Son, Tran Cao, Pontelli, Enrico, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Chen, Qingliang, editor, Torroni, Paolo, editor, Villata, Serena, editor, Hsu, Jane, editor, and Omicini, Andrea, editor

Published
2015
Full Text
View/download PDF

20. Revisiting Default Description Logics – and Their Role in Aligning Ontologies

Author

Sengupta, Kunal, Hitzler, Pascal, Janowicz, Krzysztof, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Supnithi, Thepchai, editor, Yamaguchi, Takahira, editor, Pan, Jeff Z., editor, Wuwongse, Vilas, editor, and Buranarach, Marut, editor

Published
2015
Full Text
View/download PDF

21. Twenty-Five Years of Preferred Subtheories

Author

Lang, Jérôme, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, Series editor, Tanaka, Yuzuru, Series editor, Wahlster, Wolfgang, Series editor, Siekmann, Jörg, Series editor, Eiter, Thomas, editor, Strass, Hannes, editor, Truszczyński, Mirosław, editor, and Woltran, Stefan, editor

Published
2015
Full Text
View/download PDF

22. A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence

Author

Eiter, Thomas, Strass, Hannes, Truszczyński, Mirosław, Woltran, Stefan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, Series editor, Tanaka, Yuzuru, Series editor, Wahlster, Wolfgang, Series editor, Siekmann, Jörg, Series editor, Eiter, Thomas, editor, Strass, Hannes, editor, Truszczyński, Mirosław, editor, and Woltran, Stefan, editor

Published
2015
Full Text
View/download PDF

25. Introduction

Author

Straßer, Christian, Wansing, Heinrich, Editor-in-chief, and Straßer, Christian

Published
2014
Full Text
View/download PDF

28. How green defaults promote environmentally friendly decisions: Attitude‐conditional default acceptance but attitude‐unconditional effects on actual choices.

Author

Taube, Oliver and Vetter, Max

Subjects
*DECISION making, *DEFAULT logic, *CHOICE (Psychology), *ATTITUDES toward the environment, *ONLINE shopping, *INTENTION, *GREEN products
Abstract

Defaults (i.e., options that become effective without an active choice) have been found to be powerful tools to influence decision‐making in a range of behavioral domains. However, seemingly conflicting assumptions have been expressed regarding the interplay of defaults with individual attitudes. Whereas some expect attitude‐conditional effects (i.e., a statistical default‐by‐attitude interaction), others assume an attitude‐unconditional effectiveness of defaults (i.e., statistically additive effects). Integrating both assumptions, we argue that the interplay of defaults and attitudes depends on what is considered a default effect. Specifically, whereas default acceptance is likely to be attitude‐conditional, we predicted that defaults and attitudes would add up in explaining people's actual choices. We tested these hypotheses in an online shopping scenario presenting environmentally friendly or conventional default products to 231 participants. Participants' environmental attitude was assessed with the General Ecological Behavior scale and actual product choices were identified if participants rejected a given default product. In line with our hypotheses, default acceptance was predicted by a default‐by‐attitude interaction. In contrast, actual environmentally friendly product choices were found to be an additive function of defaults and participants' environmental attitude. From an applied perspective, our findings suggest that defaults can readily be applied even in attitude‐heterogeneous target populations. Concurrently, however, our findings also speak of the importance of people's attitudes for understanding individual decision‐making. [ABSTRACT FROM AUTHOR]

Published
2019
Full Text
View/download PDF

29. RNN-based default logic for route planning in urban environments.

Author

Kong, Jiangtao, Huang, Jian, Yu, Hongkai, Deng, Hanqiang, Gong, Jianxing, and Chen, Hao

Subjects
*ROUTE choice, *URBAN transportation, *URBAN planning & the environment, *LOGIC
Abstract

Abstract Urban route planning is important for smart cities and intelligent transportation systems. Most of the exiting methods of urban route planning are either graph based search algorithms or optimization methods, however they show many weaknesses in real-world applications due to their high computational complexities and needs for global information of urban environments. To solve this problem, we propose a novel Recurrent Neural Network (RNN) based default logic for route planning. The proposed method is composed of three parts. The first part is the default theory of route planning, forcing no loops in the generated routes. The second part is the RNN based default reasoning to recommend default rules. The RNN outputs the probability distribution of the defaults used next, so the proposed method is a probabilistic method. The third part is the update algorithm of map models to improve the accuracy of default reasoning in dynamic environments. Training the proposed RNN is simple because no statistic computation is required for training. The time complexity of the proposed method during testing is just O (ρ 2), where ρ is the length of the optimal route for two given nodes. To evaluate the proposed method, we build a new map model named BJ simulating the complex urban environments of the Beijing city, China. Extensive experiments on the BJ map model in both static and dynamic environments show the effectiveness and accuracy of the proposed method. [ABSTRACT FROM AUTHOR]

Published
2019
Full Text
View/download PDF

30. Eficacia de procesamiento de los entrañamientos y de las implicaturas conversacionales generalizadas: la lógica deductiva y la lógica por defecto

Author

Juan Carlos Tordera Yllescas

Subjects
ICG, Linguistics and Language, Lingüística, entailment, Lògica, entrañamiento, lógica deductiva, processing, default logic, deductive logic, procesamiento, lógica por defecto, Language and Linguistics
Abstract

This work aims to study the processing differences that occur between deductive logic and default logic. Since the entailments are based on deductive logic and generalised conversational implicatures (GCI) are built from the default logic, two questionnaires were proposed to collect the processing efficiency expressed as the number of hits per minute. The data collected shows that there is a significant difference in the processing of entailments and ICGs: entailments are processed more efficiently than ICGs and, therefore, it is concluded that the default logic requires greater cognitive effort. Este trabajo tiene como objetivo estudiar las diferencias de procesamiento que se producen al aplicar una lógica de tipo deductivo frente a una lógica por defecto. Como los entrañamientos se fundamentan en la lógica deductiva, mientras que las implicaturas conversacionales generalizadas (ICG) se construyen a partir de la lógica por defecto, se propusieron dos cuestionarios destinados a registrar la eficacia de procesamiento entendida como el número de aciertos por minuto. Los datos recogidos muestran que existe una diferencia significativa en el procesamiento de los entrañamientos y de las ICG: los entrañamientos se procesan de forma más eficaz que las ICG y, por tanto, se concluye que la lógica por defecto exige un mayor esfuerzo cognitivo.

Published
2022

31. Restricted semantics for default reasoning.

Author

Lin, Zuoquan and Chen, Chen

Abstract

In nonmonotonic reasoning there are the problems of inconsistency and incoherence in general, and in default reasoning there may be only one trivial extension or no extension in special. We propose the restricted semantics of four-valued logic for default reasoning to resolve the problems of inconsistency and incoherence and in the meantime retain classical extensions in the presence of consistency and coherency. The restricted semantics can maintain both the expressiveness and reasoning ability of default logic. We provide a transformation approach to compute the restricted extensions by reducing them into classical ones. [ABSTRACT FROM AUTHOR]

Published
2018
Full Text
View/download PDF

32. Variable Priorities and Exclusionary Reasons in Input/Output Logic.

Author

Tucker, Dustin

Subjects
*REASONING, *DECISION making, *MATHEMATICAL logic, *GEOMETRIC vertices, *IMMUNOGLOBULIN G
Abstract

Jörg Hansen, John Horty, and Xavier Parent and Leendert van der Torre have all recently described some sort of nonmonotonic logic to model reasons and their interactions. Horty’s framework is broader in scope than the other two, encompassing both reasoning about the relative strengths of reasons and reasoning about which reasons to consider in the first place. Hansen discusses a plethora of approaches and examples, including Horty’s, arguing that his preferred system best captures our intuitions. And Parent and van der Torre present a family of systems of input/output logic, which are in some ways the most flexible. In this paper, I aim to combine these features. Without attempting to answer the question of which intuitions are the best to capture, I first argue that there are good reasons to explore systems that behave more like Hansen’s than Horty’s. I then show that Parent and van der Torre’s framework of input/output logic can exactly duplicate Hansen’s system but is flexible enough to produce other results as well. Finally, I extend their framework to include the additional kinds of reasoning Horty discusses, showing that the resulting theory can handle a wider range of cases than Horty’s. [ABSTRACT FROM AUTHOR]

Published
2018
Full Text
View/download PDF

33. Normal default rules as epistemic actions

Author

Michal Dančák and Michal Peliš

Subjects
action models, default logic, dynamic epistemic logic, Philosophy. Psychology. Religion
Abstract

The goal of this paper is to present a prospective way to ‘translate’ normal default rules into the framework of action models logic. At the beginning we introduce default logic and normal default logic with their main properties and, separately, action models logic. Then a ‘translation’ of normal default rules in a slightly modified action models logic is presented.

Published
2016
Full Text
View/download PDF

34. Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic

Author

Sopo Pkhakadze and Hans Tompits

Subjects
sequent-type calculi, nonmonotonic logics, default logic, rejection systems, Mathematics, QA1-939
Abstract

Default logic is one of the basic formalisms for nonmonotonic reasoning, a well-established area from logic-based artificial intelligence dealing with the representation of rational conclusions, which are characterised by the feature that the inference process may require to retract prior conclusions given additional premisses. This nonmonotonic aspect is in contrast to valid inference relations, which are monotonic. Although nonmonotonic reasoning has been extensively studied in the literature, only few works exist dealing with a proper proof theory for specific logics. In this paper, we introduce sequent-type calculi for two variants of default logic, viz., on the one hand, for three-valued default logic due to Radzikowska, and on the other hand, for disjunctive default logic, due to Gelfond, Lifschitz, Przymusinska, and Truszczyński. The first variant of default logic employs Łukasiewicz’s three-valued logic as the underlying base logic and the second variant generalises defaults by allowing a selection of consequents in defaults. Both versions have been introduced to address certain representational shortcomings of standard default logic. The calculi we introduce axiomatise brave reasoning for these versions of default logic, which is the task of determining whether a given formula is contained in some extension of a given default theory. Our approach follows the sequent method first introduced in the context of nonmonotonic reasoning by Bonatti, which employs a rejection calculus for axiomatising invalid formulas, taking care of expressing the consistency condition of defaults.

Published
2020
Full Text
View/download PDF

37. Implementing Belief Change in the Situation Calculus and an Application

Author

Pagnucco, Maurice, Rajaratnam, David, Strass, Hannes, Thielscher, Michael, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Cabalar, Pedro, editor, and Son, Tran Cao, editor

Published
2013
Full Text
View/download PDF

39. RDL: Enhancing Description Logic with Rules

Author

Zhou, Yi, Zhang, Yan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Thielscher, Michael, editor, and Zhang, Dongmo, editor

Published
2012
Full Text
View/download PDF

40. Privacy Preservation Using Multi-context Systems and Default Logic

Author

Dix, Jürgen, Faber, Wolfgang, Subrahmanian, V. S., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Erdem, Esra, editor, Lee, Joohyung, editor, Lierler, Yuliya, editor, and Pearce, David, editor

Published
2012
Full Text
View/download PDF

42. Adaptive Inference Control

Author

Goertzel, Ben, Geisweiller, Nil, Coelho, Lucio, Janicic, Predrag, Pennachin, Cassio, Goertzel, Ben, Geisweiller, Nil, Coelho, Lucio, Janičić, Predrag, and Pennachin, Cassio

Published
2011
Full Text
View/download PDF

43. Living with Inconsistency and Taming Nonmonotonicity

Author

Małuszyński, Jan, Szałas, Andrzej, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, de Moor, Oege, editor, Gottlob, Georg, editor, Furche, Tim, editor, and Sellers, Andrew, editor

Published
2011
Full Text
View/download PDF

44. DDLD-Based Reasoning for MAS

Author

Więch, Przemysław, Rybinski, Henryk, Ryżko, Dominik, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Kryszkiewicz, Marzena, editor, Rybinski, Henryk, editor, Skowron, Andrzej, editor, and Raś, Zbigniew W., editor

Published
2011
Full Text
View/download PDF

45. A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System

Author

Zhang, Xiaowang, Lin, Zuoquan, Wang, Kewen, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Du, Xiaoyong, editor, Fan, Wenfei, editor, Wang, Jianmin, editor, Peng, Zhiyong, editor, and Sharaf, Mohamed A., editor

Published
2011
Full Text
View/download PDF

47. dl2asp: Implementing Default Logic via Answer Set Programming

Author

Chen, Yin, Wan, Hai, Zhang, Yan, Zhou, Yi, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Janhunen, Tomi, editor, and Niemelä, Ilkka, editor

Published
2010
Full Text
View/download PDF

48. Proof Complexity of Propositional Default Logic

Author

Beyersdorff, Olaf, Meier, Arne, Müller, Sebastian, Thomas, Michael, Vollmer, Heribert, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Strichman, Ofer, editor, and Szeider, Stefan, editor

Published
2010
Full Text
View/download PDF

49. A Novel Approach to Default Reasoning for MAS

Author

Wiȩch, Przemysław, Rybiński, Henryk, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Szczuka, Marcin, editor, Kryszkiewicz, Marzena, editor, Ramanna, Sheela, editor, Jensen, Richard, editor, and Hu, Qinghua, editor

Published
2010
Full Text
View/download PDF

50. Distributed Default Logic for Context-Aware Computing in Multi-Agent Systems

Author

Ryżko, Dominik, Rybiński, Henryk, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Szczuka, Marcin, editor, Kryszkiewicz, Marzena, editor, Ramanna, Sheela, editor, Jensen, Richard, editor, and Hu, Qinghua, editor

Published
2010
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results