Search results for "Default"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
131	Xianjun Qi, Hongping Yang	Research on the Shift of Default Risk in Supply Chain Based on the Credit Default Swap.	ISECS	2008	DBLP DOI BibTeX RDF	Shift of Default Risk, Default Swap, Credit Default Swap
125	Yu Sun 0005, Yuefei Sui	Default Description Logics with Reversing Inference Rules.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
90	Laura Giordano 0001	Defining Variants of Default Logic: a Modal Approach.	ISMIS	1993	DBLP DOI BibTeX RDF
88	Judith Hochberg, Susan M. Mniszewski, T. Calleja, G. J. Papcun	A Default Hierarchy for Pronouncing English.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	default hierarchy, default rules, English pronunciation, knowledge representation, knowledge representation, knowledge acquisition, knowledge acquisition, natural languages, learning systems, learning systems, speech synthesis, speech synthesis, spelling, speech intelligibility, speech intelligibility
83	James P. Delgrande, Torsten Schaub	Reasoning with Sets of Preferences in Default Logic.	PRICAI	1998	DBLP DOI BibTeX RDF
77	Philippe Besnard, Éric Grégoire, Sébastien Ramon	A Default Logic Patch for Default Logic.	ECSQARU	2009	DBLP DOI BibTeX RDF	logic-based fusion, inconsistency tolerance, MUS, Minimally Unsatisfiable Subformulas, Default logic
76	Pawel Cholewinski	Towards Programming in Default Logic.	ISMIS	1996	DBLP DOI BibTeX RDF
74	Véronique Ventos, Pierre Brézellec, Henry Soldano	Explicitly Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules.	LPNMR	2001	DBLP DOI BibTeX RDF
74	Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski	Infinitary Default Logic for Specification of Nonmonotonic Reasoning.	JELIA	1996	DBLP DOI BibTeX RDF	infinitary default logic, representability, extensions, default logic
71	Yinglong Ma, Jun Wei 0001, Beihong Jin, Shaohua Liu	A Formal Framework for Ontology Integration Based on a Default Extension to DDL.	ICTAC	2004	DBLP DOI BibTeX RDF	distributed description logics, default extension, Tableau algorithm, Ontology integration, semantic query
71	Farid Benhammadi, Pascal Nicolas, Torsten Schaub	Extension Calculus and Query Answering in Prioritized Default Logic.	AIMSA	1998	DBLP DOI BibTeX RDF	knowledge representation, priorities, nonmonotonic reasoning, default logic, logic for artificial intelligence
69	Ping Li 0037, Hou-Sheng Chen, Guangdong Huang, Xiao-Jun Shi	On Portfolio's Default-Risk-Adjusted Duration and Value: Model and Algorithm Based on Copulas.	WINE	2006	DBLP DOI BibTeX RDF
69	Anbu Yue, Yue Ma 0009, Zuoquan Lin	Four-Valued Semantics for Default Logic.	Canadian AI	2006	DBLP DOI BibTeX RDF
69	Tomi Janhunen	On the Effect of Default Negation on the Expressiveness of Disjunctive Rules.	LPNMR	2001	DBLP DOI BibTeX RDF
69	Thomas Linke, Torsten Schaub	An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem.	JELIA	1998	DBLP DOI BibTeX RDF
69	Sven Eric Panitz	Default Reasoning with a Constraint Resolution Principle.	LPAR	1993	DBLP DOI BibTeX RDF
69	Eljas Soisalon-Soininen	Elimination of Single Productions from LR Parsers in Conjunction with the Use of Default Reductions.	POPL	1977	DBLP DOI BibTeX RDF
67	Pascal Nicolas, Frédéric Saubion, Igor Stéphan	Combining heuristics for default logic reasoning systems.	ICTAI	2000	DBLP DOI BibTeX RDF	default logic reasoning systems, theoretical complexity, local search techniques, automated default reasoning system, genetic algorithms, genetic algorithms, computational complexity, artificial intelligence, knowledge representation, knowledge representation, heuristics, nonmonotonic reasoning, nonmonotonic reasoning, expressive power
64	Ramprasad Ravichandran, Michael Benisch, Patrick Gage Kelley, Norman M. Sadeh	Capturing Social Networking Privacy Preferences: Can Default Policies Help Alleviate Tradeoffs between Expressiveness and User Burden?	Privacy Enhancing Technologies	2009	DBLP DOI BibTeX RDF	Mining default policies, Privacy, User modeling
64	Ariel Cohen 0004, Michael Kaminski, Johann A. Makowsky	Notions of Sameness by Default and their Application to Anaphora, Vagueness, and Uncertain Reasoning.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Herbrand models, Sorites, Rough Set Theory, Equality, Default Logic, Vagueness, Indistinguishability, Anaphora
64	Georg Gottlob	Translating Default Logic into Standard Autoepistemic Logic.	J. ACM	1995	DBLP DOI BibTeX RDF	nonmonotonic modal logic, reasoning, translation, default logic, autoepistemic logic
62	Shaohua Liu, Junsheng Yu, Yinglong Ma, Bing Xu, Yuan Mai, Min Zhou	A Prioritized Default Extension to Description Logic Knowledge Base.	FSKD (5)	2008	DBLP DOI BibTeX RDF
62	Philippe Chapdelaine, Miki Hermann, Ilka Schnoor	Complexity of Default Logic on Generalized Conjunctive Queries.	LPNMR	2007	DBLP DOI BibTeX RDF
62	Yinglong Ma, Jun Wei 0001	A Default Extension to Distributed Description Logics.	IAT	2004	DBLP DOI BibTeX RDF
62	Thomas Linke, Torsten Schaub	On Bottom-Up Pre-processing Techniques for Automated Default Reasoning.	ESCQARU	1999	DBLP DOI BibTeX RDF
62	Grigoris Antoniou	Stratification: The Computational Base of a System for Default Reasoning.	ICTAI	1997	DBLP DOI BibTeX RDF
62	Aditya Ghose, Randy Goebel	Anytime Default Inference.	PRICAI	1996	DBLP DOI BibTeX RDF
60	Ariel Cohen 0004	Indiscriminability as Indiscernibility by Default.	Stud Logica	2008	DBLP DOI BibTeX RDF	sorites, indiscriminability, indiscernibility by default, Rough Set Theory, Default Logic, indiscernibility
60	Georgios K. Giannikis, Aspassia Daskalopulu	The Representation of e-Contracts as Default Theories.	IEA/AIE	2007	DBLP DOI BibTeX RDF	Reasoning with incomplete knowledge, Multi-agent systems, E-commerce, Default Logic, Event Calculus, Default reasoning, Circumscription
57	Daniel Stamate	Default Reasoning with Imperfect Information in Multivalued Logics.	ISMVL	2008	DBLP DOI BibTeX RDF	multivalued logics, default reasoning, imperfect information, bilattices
57	Ruliang Xiao, Shengqun Tang	A Categorial Context with Default Reasoning Approach to Heterogeneous Ontology Integration.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	categorial context, description logics, ontology integration, default reasoning
57	Takuya Wada, Tadashi Horiuchi, Hiroshi Motoda, Takashi Washio	A Description Length-Based Decision Criterion for Default Knowledge in the Ripple Down Rules Method.	Knowl. Inf. Syst.	2001	DBLP DOI BibTeX RDF	Default knowledge, Description length, Ripple Down Rules method, Knowledge acquisition
55	Olaf Beyersdorff, Arne Meier, Michael Thomas 0001, Heribert Vollmer	The Complexity of Reasoning for Fragments of Default Logic.	SAT	2009	DBLP DOI BibTeX RDF
55	James P. Delgrande, Torsten Schaub	On the Relation between Reiter's Default Logic and Its (Major).	ECSQARU	2003	DBLP DOI BibTeX RDF
55	João C. P. da Silva, Sheila R. M. Veloso	Representing Belief Revision through Default Theories.	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF
55	Grigoris Antoniou, Tyrone O'Neill, Joe Thurbon	Studying Properties of Classes of Default Logics - Preliminary Report.	PRICAI	1996	DBLP DOI BibTeX RDF
55	Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta 0001	Default Timed Concurrent Constraint Programming.	POPL	1995	DBLP DOI BibTeX RDF	constraint programming, reactive systems, denotational semantics, synchronous programming, semantics of concurrency
55	Camilla Schwind	A Tableau-Based Theorem Prover for a Decidable Subset of Default Logic.	CADE	1990	DBLP DOI BibTeX RDF
50	Eran Toch, Norman M. Sadeh, Jason I. Hong	Generating default privacy policies for online social networks.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	default policies, location sharing technology, privacy, information sharing, online social networks
50	Paolo Liberatore	Where fail-safe default logics fail.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	polynomial-time translations, Default logic
50	Chen Wu, Xiaohua Hu 0001, Xiajiong Shen, Xiaodan Zhang, Yi Pan 0001	An Incremental Algorithm for Mining Default Definite Decision Rules from Incomplete Decision Tables.	GrC	2007	DBLP DOI BibTeX RDF	incomplete decision table, semi-equivalence relation, default definite decision rule, rough set
50	Hisao Ishibuchi, Takashi Yamamoto, Tomoharu Nakashima	An approach to fuzzy default reasoning for function approximation.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Fuzzy number-valued function, Fuzzy modeling, Fuzzy reasoning, Genetics-based machine learning, Default reasoning
50	Grigoris Antoniou	A tutorial on default logics.	ACM Comput. Surv.	1999	DBLP DOI BibTeX RDF	nonmonotonic reasoning, default logic, operational models
50	Ralf Möller 0001, Michael Wessel	Terminological Default Reasoning about Spatial Information: A First Step.	COSIT	1999	DBLP DOI BibTeX RDF	Spatial Default Reasoning, Description Logics
48	Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner	Realizing Default Logic over Description Logic Knowledge Bases.	ECSQARU	2009	DBLP DOI BibTeX RDF
48	Chiaki Sakama	Social Default Theories.	LPNMR	2009	DBLP DOI BibTeX RDF
48	Shaohua Liu, Junsheng Yu, Yinglong Ma, Xu Zhang, Xiaoming Liu, Hansheng Su	Prioritizing Default Rules Embedded in Description Logic Knowledge Base.	SNPD	2008	DBLP DOI BibTeX RDF
48	Yi Zhou 0013, Yan Zhang 0003	Meta Level Reasoning and Default Reasoning.	JELIA	2008	DBLP DOI BibTeX RDF
48	Zhangang Lin, Zuoquan Lin	Handling Contradictions in Default Theories.	KSEM	2007	DBLP DOI BibTeX RDF
48	Gregory P. Amis, Gail A. Carpenter	Default ARTMAP 2.	IJCNN	2007	DBLP DOI BibTeX RDF
48	Don Peterson, Boris A. Galitsky	Handling Default Rules by Autistic Reasoning.	KES	2004	DBLP DOI BibTeX RDF
48	Farid Benhammadi, Pascal Nicolas, Torsten Schaub	Query-Answering in Prioritized Default Logic.	ESCQARU	1999	DBLP DOI BibTeX RDF
48	Grigoris Antoniou, Aditya Ghose	What Is Default Reasoning Good For? Applications Revisited.	HICSS	1999	DBLP DOI BibTeX RDF
48	Guo-Qiang Zhang 0001, William C. Rounds	Complexity of Power Default Reasoning.	LICS	1997	DBLP DOI BibTeX RDF
48	Grigoris Antoniou	Representation Results for Default Logics.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF
48	Pawel Cholewinski	Stratified Default Theories.	CSL	1994	DBLP DOI BibTeX RDF
48	Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício	Default Theory for Well Founded Semantics with Explicit Negation.	JELIA	1992	DBLP DOI BibTeX RDF
46	Daniele Nardi, Riccardo Rosati 0001	Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled.	AI*IA	1999	DBLP DOI BibTeX RDF
46	Artur Mikitiuk	Semi-Representability of Default Theories in Rational Default Logic.	JELIA	1996	DBLP DOI BibTeX RDF
45	Paolo Liberatore	Consistency Defaults.	Stud Logica	2007	DBLP DOI BibTeX RDF	artificial intelligence, knowledge representation, nonmonotonic reasoning, default logic
45	Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima	Consequence finding and computing answers with defaults.	J. Intell. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Consequence finding, Conditional answers, Default theory
43	Lukas Rytz, Martin Odersky	Named and default arguments for polymorphic object-oriented languages: a discussion on the design implemented in the Scala language.	SAC	2010	DBLP DOI BibTeX RDF	default arguments, named arguments, scala
43	Rosane Maria Maffei Vallim, David E. Goldberg, Xavier Llorà, Thyago S. P. C. Duque, André C. P. L. F. de Carvalho	A new approach for multi-label classification based on default hierarchies and organizational learning.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	default hierarchies, organizational sizing, LCS
43	Conghui Liu, Jie Zhuang, Danling Peng, Guoliang Yu, Yanhui Yang	Default-Mode Network Activity Identified by Group Independent Component Analysis.	ICIC (2)	2007	DBLP DOI BibTeX RDF	default mode network, independent component analysis, fMRI
43	Didar Zowghi, Vincenzo Gervasi, Andrew McRae	Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements.	APSEC	2001	DBLP DOI BibTeX RDF	s cenarios, Requirements, natural language, inconsistency, default logic
43	Ricardo A. Munoz, Chao-Chih Yang	Using Normal Deduction Graphs in Default Reasoning.	ISMIS	1991	DBLP DOI BibTeX RDF	normal deduction graph, Artificial intelligence, logic programming, inference, first-order logic, commonsense reasoning, default reasoning
42	Loizos Michael, Antonis C. Kakas	Knowledge Qualification through Argumentation.	LPNMR	2009	DBLP DOI BibTeX RDF
42	James P. Delgrande, Torsten Schaub	How to Reason Credulously and Skeptically within a Single Extension.	ECSQARU	2001	DBLP DOI BibTeX RDF
41	Yi-Dong Shen, Jia-Huai You	A Default Approach to Semantics of Logic Programs with Constraint Atoms.	LPNMR	2009	DBLP DOI BibTeX RDF
41	Alexander Bochman	Default logic generalized and simplified.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 03B22, 68T30
41	Te Taka Keegan, Sally Jo Cunningham	What a Difference a Default Setting Makes.	ECDL	2008	DBLP DOI BibTeX RDF	Multi-Language Access, Log Analysis
41	Min Zhang	Statistical Default Inference Based on DFL.	CSSE (1)	2008	DBLP DOI BibTeX RDF
41	Patrice Chalin, Frédéric Rioux	Non-null references by default in the Java modeling language.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	non-null references, reference types, contracts, JML, java modeling language
41	Peter Carr 0002, Vadim Linetsky	A jump to default extended CEV model: an application of Bessel processes.	Finance Stochastics	2006	DBLP DOI BibTeX RDF	JEL Classification G12, G13
41	Jaume Bacardit, David E. Goldberg, Martin V. Butz	Improving the Performance of a Pittsburgh Learning Classifier System Using a Default Rule.	IWLCS	2005	DBLP DOI BibTeX RDF
41	Pedro Cabalar, David Lorenzo	Logic Programs with Functions and Default Values.	JELIA	2004	DBLP DOI BibTeX RDF
41	Gregory R. Wheeler, Carlos Viegas Damásio	An Implementation of Statistical Default Logic.	JELIA	2004	DBLP DOI BibTeX RDF
41	Henryk Rybinski, Dominik Ryzko	Knowledge sharing in default reasoning based multi-agent systems.	IAT	2003	DBLP DOI BibTeX RDF
41	Swapan Raha, Sanaul Hossain	Fuzzy Set in Default Reasoning.	AFSS	2002	DBLP DOI BibTeX RDF
41	Hudson Turner	Strong Equivalence for Logic Programs and Default Theories (Made Easy).	LPNMR	2001	DBLP DOI BibTeX RDF
41	Grigoris Antoniou, David Billington	Relating Defeasible and Default Logic.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF
41	M. A. Nait Abdallah	Kernel Knowledge Versus Belt Knowledge in Default Reasoning: a Logical Approach.	ICCI	1991	DBLP DOI BibTeX RDF
41	Atsushi Togashi, Ben-Hui Hou, Shoichi Noguchi	Believability in Default Logic Entails Logical Consequence from Circumscription (Somestimes).	KBCS	1989	DBLP DOI BibTeX RDF
38	Yun Bai 0001, Yan Zhang 0003, Vijay Varadharajan	On the sequence of authorization policy transformations.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Policy transformations, Formal language, Default logic, Authorization policy
38	Katsumi Inoue, Koji Iwanuma	Speculative Computation Through Consequence-Finding in Multi-Agent Environments.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	consequence-finding, SOL calculus, conditional answer, default logic, speculative computation
38	Yun Bai 0001, Vijay Varadharajan	On Formal Languages for Sequences of Authorization Transformations.	SAFECOMP	1999	DBLP DOI BibTeX RDF	Policy Transformation, Formal language, Default logic, Authorization Policies
36	Robert Saxon Milnikel	Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	default logic, sequent calculus, stable models, autoepistemic logic
36	Robert Saxon Milnikel	Embedding Modal Nonmonotonic Logics into Default Logic.	Stud Logica	2003	DBLP DOI BibTeX RDF	Modal nonmonotonic logic, Default logic
36	Nir Friedman, Joseph Y. Halpern	Plausibility measures and default reasoning.	J. ACM	2001	DBLP DOI BibTeX RDF	?-semantics, ?-rankings, plausibility measures, preferential orderings nonmonotonic inference, default reasoning, possibility measures, Conditional logic
36	Nir Friedman, Joseph Y. Halpern, Daphne Koller	First-order conditional logic for default reasoning revisited.	ACM Trans. Comput. Log.	2000	DBLP DOI BibTeX RDF	KLM properties, plausibility measures, completeness, first-order logic, default reasoning, conditional logic
35	Sofia Guerra	Distance Functions for Defaults in Reactive Systems.	AMAST	2000	DBLP DOI BibTeX RDF
35	Patrick Doherty 0001	NM3 - A Three-Valued Cumulative Non-Monotonic Formalism.	JELIA	1990	DBLP DOI BibTeX RDF
34	Julien Velcin, Jean-Gabriel Ganascia	Default Clustering with Conceptual Structures.	J. Data Semantics	2007	DBLP DOI BibTeX RDF
34	Tezuka Masaru, Ito Yoichi, Munakata Satoshi	Genetic algorithm approach to design covariates of binomial logit model for estimation of default probability.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
34	Shaoling Huang, Li Li, Zhongfu Tan	Evaluating Electric ILM Customers_ Default Risk Based on Fuzzy Set Theory.	FSKD (4)	2007	DBLP DOI BibTeX RDF
34	Ariel Cohen 0004	Anaphora Resolution as Equality by Default.	DAARC	2007	DBLP DOI BibTeX RDF
34	Guoqing Shi, Chuanzhe Liu, Yuhua Hou	Stdudy on the Pricing of Credit Default Swap with Affine Jump-Diffusions Processes.	ISDA (1)	2006	DBLP DOI BibTeX RDF
34	Dominik Ryzko, Henryk Rybinski	Distributed Default Logic for Multi-agent System.	IAT	2006	DBLP DOI BibTeX RDF
34	Zhangang Lin, Yue Ma 0009, Zuoquan Lin	A Fault-Tolerant Default Logic.	JELIA	2006	DBLP DOI BibTeX RDF
34	Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima	Consequence Finding in Default Theories.	FQAS	2004	DBLP DOI BibTeX RDF