Search results for "possibilistic logic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Allel HadjAli, Souhila Kaci, Henri Prade	Database Preferences Queries - A Possibilistic Logic Approach with Symbolic Priorities.	FoIKS	2008	DBLP DOI BibTeX RDF	possibilistic logic, Preferences queries
3	Churn-Jung Liau	Ordered Belief Fusion in Possibilistic Logic.	RSFDGrC	2005	DBLP DOI BibTeX RDF	Belief fusion, multi-agent systems, epistemic logic, possibilistic logic, database merging
3	Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza, Kam-Fai Wong	Belief revision and possibilistic logic for adaptive information filtering agents.	ICTAI	2000	DBLP DOI BibTeX RDF	adaptive information filtering agents, adaptive information agents, explanatory power, learning autonomy, logic based framework, AGM belief revision, filtering components, Internet, information retrieval, learning (artificial intelligence), software agents, adaptive systems, belief revision, information overload, possibility theory, information agents, semantic relationships, possibilistic logic, belief maintenance, information objects
2	Salem Benferhat, Didier Dubois, Henri Prade	Interventions in Possibilistic Logic.	SUM	2009	DBLP DOI BibTeX RDF
2	Minghao Yin, Jigui Sun	Extension or Resolution: A Novel Approach for Reasoning in Possibilistic Logic.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF
2	Mauricio Osorio, Juan Carlos Nieves	PStable Semantics for Possibilistic Logic Programs.	MICAI	2007	DBLP DOI BibTeX RDF
2	Guilin Qi, Jeff Z. Pan, Qiu Ji	Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic.	ECSQARU	2007	DBLP DOI BibTeX RDF
2	Didier Dubois, Henri Prade	Toward Multiple-agent Extensions of Possibilistic Logic.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
2	Janusz Kacprzyk, Katarzyna Nowacka, Slawomir Zadrozny	A Possibilistic-Logic-Based Information Retrieval Model with Various Term-Weighting Approaches.	ICAISC	2006	DBLP DOI BibTeX RDF
2	Nic Wilson	A logic of soft constraints based on partially ordered preferences.	J. Heuristics	2006	DBLP DOI BibTeX RDF	Semiring-based CSPs, Preferences, Soft constraints, Possibilistic logic
2	Guilin Qi, Weiru Liu, David A. Bell	Multiple Semi-revision in Possibilistic Logic.	ECSQARU	2005	DBLP DOI BibTeX RDF
2	Salem Benferhat, Rania El Baida, Frédéric Cuppens	A stratification-based approach for handling conflicts in access control.	SACMAT	2003	DBLP DOI BibTeX RDF	prioritized knowledge bases, access control, security policy, conflicts, possibilistic logic
2	Churn-Jung Liau	An Overview of Hybrid Possibilistic Reasoning.	RSFDGrC	2003	DBLP DOI BibTeX RDF	Qualitative possibility logic, Graded modal logic, Description Logic, Hybrid logic, Possibilistic logic
2	Teresa Alsinet, Lluis Godo	A Proof Procedure for Possibilistic Logic Programming with Fuzzy Constants.	ECSQARU	2001	DBLP DOI BibTeX RDF
2	Churn-Jung Liau, Y. Y. Yao	Information Retrieval by Possibilistic Reasoning.	DEXA	2001	DBLP DOI BibTeX RDF	Similarity-based reasoning, Description logic, Possibilistic logic, Boolean models
2	Carlos Viegas Damásio, Luís Moniz Pereira	Monotonic and Residuated Logic Programs.	ECSQARU	2001	DBLP DOI BibTeX RDF	Logic Programming, Many-valued logics, Possibilistic Logic
1	Guilin Qi, Jianfeng Du, Weiru Liu, David A. Bell	Merging Knowledge Bases in Possibilistic Logic by Lexicographic Aggregation	CoRR	2012	DBLP BibTeX RDF
1	Guilin Qi, Qiu Ji, Jeff Z. Pan, Jianfeng Du	Extending description logics with uncertainty reasoning in possibilistic logic.	Int. J. Intell. Syst.	2011	DBLP DOI BibTeX RDF
1	Pilar Dellunde, Lluis Godo, Enrico Marchioni	Extending possibilistic logic over Gödel logic.	Int. J. Approx. Reasoning	2011	DBLP DOI BibTeX RDF
1	Allel HadjAli, Souhila Kaci, Henri Prade	Database preference queries - a possibilistic logic approach with symbolic priorities.	Ann. Math. Artif. Intell.	2011	DBLP DOI BibTeX RDF
1	Salem Benferhat, Julien Hué, Sylvain Lagrue, Julien Rossit	Interval-Based Possibilistic Logic.	IJCAI	2011	DBLP BibTeX RDF
1	Hadja Faiza Khellaf-Haned	Transformations around Quantitative Possibilistic Logic.	SUM	2011	DBLP DOI BibTeX RDF
1	Didier Dubois, Henri Prade	Generalized Possibilistic Logic.	SUM	2011	DBLP DOI BibTeX RDF
1	Didier Dubois, Henri Prade	Handling Various Forms of Inconsistency in Possibilistic Logic.	DEXA Workshops	2011	DBLP DOI BibTeX RDF
1	Guilin Qi, Weiru Liu, David A. Bell	Measuring conflict and agreement between two prioritized knowledge bases in possibilistic logic.	Fuzzy Sets and Systems	2010	DBLP DOI BibTeX RDF
1	Guilin Qi, Weiru Liu, David A. Bell	A Comparison of Merging Operators in Possibilistic Logic.	KSEM	2010	DBLP DOI BibTeX RDF
1	Patrick Bosc, Olivier Pivert, Henri Prade	A possibilistic logic view of preference queries to an uncertain database.	FUZZ-IEEE	2010	DBLP DOI BibTeX RDF
1	Guilin Qi, Jianfeng Du, Weiru Liu, David A. Bell	Merging Knowledge Bases in Possibilistic Logic by Lexicographic Aggregation.	UAI	2010	DBLP BibTeX RDF
1	Pilar Dellunde, Lluis Godo, Enrico Marchioni	Exploring Extensions of Possibilistic Logic over Gödel Logic.	ECSQARU	2009	DBLP DOI BibTeX RDF
1	Mauricio Osorio, Juan Carlos Nieves	Possibilistic Well-Founded Semantics.	MICAI	2009	DBLP DOI BibTeX RDF
1	Patrick Bosc, Olivier Pivert, Henri Prade	A Model Based on Possibilistic Certainty Levels for Incomplete Databases.	SUM	2009	DBLP DOI BibTeX RDF
1	Tom Matthé, Guy De Tré	Flexible querying in a relational framework supported by possibilistic logic.	Fuzzy Sets and Systems	2008	DBLP DOI BibTeX RDF
1	Teresa Alsinet, Carlos Iván Chesñevar, Lluis Godo, Sandra Sandri, Guillermo Ricardo Simari	Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification.	Int. J. Approx. Reasoning	2008	DBLP DOI BibTeX RDF
1	Florence Dupin de Saint-Cyr, Henri Prade	Handling uncertainty and defeasibility in a possibilistic logic setting.	Int. J. Approx. Reasoning	2008	DBLP DOI BibTeX RDF
1	Souhila Kaci, Henri Prade	Mastering the Processing of Preferences by Using Symbolic Priorities in Possibilistic Logic.	ECAI	2008	DBLP DOI BibTeX RDF
1	Guilin Qi	A Semantic Approach for Iterated Revision in Possibilistic Logic.	AAAI	2008	DBLP BibTeX RDF
1	Guilin Qi, Jeff Z. Pan	A Tableau Algorithm for Possibilistic Description Logic .	ASWC	2008	DBLP DOI BibTeX RDF
1	Ebrahim Bagheri, Ali A. Ghorbani	On the Definition of Essential and Contingent Properties of Subjective Belief Bases.	MICAI	2008	DBLP DOI BibTeX RDF
1	Guilin Qi, Jeff Z. Pan	A Tableau Algorithm for Possibilistic Description Logic .	RR	2008	DBLP DOI BibTeX RDF
1	Mathieu Serrurier, Henri Prade	Introducing possibilistic logic in ILP for dealing with exceptions.	Artif. Intell.	2007	DBLP DOI BibTeX RDF
1	Salem Benferhat, Safa Yahi, Habiba Drias	On the Compilation of Stratified Belief Bases under Linear and Possibilistic Logic Policies.	IJCAI	2007	DBLP BibTeX RDF
1	Guilin Qi	A Model-based Approach for Merging Prioritized Knowledge Bases in Possibilistic Logic.	AAAI	2007	DBLP BibTeX RDF
1	Salem Benferhat, Salma Smaoui	On the Use of Possibilistic Bases for Local Computations in Product-Based Possibilistic Networks.	Canadian Conference on AI	2007	DBLP DOI BibTeX RDF	Possibilistic networks, inference, possibilistic logic
1	Ruben Stranders, Mathijs de Weerdt, Cees Witteveen	Fuzzy Argumentation for Trust.	CLIMA	2007	DBLP DOI BibTeX RDF
1	Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés	Semantics for Possibilistic Disjunctive Programs.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Salem Benferhat, Claudio Sossai	Reasoning with multiple-source information in a possibilistic logic framework.	Information Fusion	2006	DBLP DOI BibTeX RDF
1	Guilin Qi, Weiru Liu, David H. Glass, David A. Bell	A split-combination approach to merging knowledge bases in possibilistic logic.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T30, 03B53, 68T37
1	M. A. Cardenas-Viedma	A sound and complete fuzzy temporal constraint logic.	IEEE Transactions on Systems, Man, and Cybernetics, Part B	2006	DBLP DOI BibTeX RDF
1	Sara Boutouhami, Aïcha Mokhtari	A Stratification of Possibilistic Partial Explanations.	SMPS	2006	DBLP DOI BibTeX RDF
1	Mathieu Serrurier, Henri Prade	Coping with exceptions in multiclass ILP problems using possibilistic logic.	IJCAI	2005	DBLP BibTeX RDF
1	Anthony Hunter, Weiru Liu	Measuring the Quality of Uncertain Information Using Possibilistic Logic.	ECSQARU	2005	DBLP DOI BibTeX RDF
1	Leila Amgoud, Souhila Kaci	An Argumentation Framework for Merging Conflicting Knowledge Bases: The Prioritized Case.	ECSQARU	2005	DBLP DOI BibTeX RDF
1	Pascal Nicolas, Laurent Garcia, Igor Stéphan	A Possibilistic Inconsistency Handling in Answer Set Programming.	ECSQARU	2005	DBLP DOI BibTeX RDF
1	Guilin Qi, Weiru Liu, David A. Bell	Combining Multiple Knowledge Bases by Negotiation: A Possibilistic Approach.	ECSQARU	2005	DBLP DOI BibTeX RDF
1	Mathieu Serrurier, Henri Prade	Possibilistic Inductive Logic Programming.	ECSQARU	2005	DBLP DOI BibTeX RDF
1	Didier Dubois, Henri Prade	Possibilistic logic: a retrospective and prospective view .	Fuzzy Sets and Systems	2004	DBLP DOI BibTeX RDF
1	Salem Benferhat, Sylvain Lagrue, Odile Papini	Reasoning with partially ordered information in a possibilistic logic framework.	Fuzzy Sets and Systems	2004	DBLP DOI BibTeX RDF
1	Teresa Alsinet, Lluis Godo	Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants.	Fuzzy Sets and Systems	2004	DBLP DOI BibTeX RDF
1	Peter Kullmann, Sandra Sandri	An annotated logic theorem prover for an extended possibilistic logic.	Fuzzy Sets and Systems	2004	DBLP DOI BibTeX RDF
1	Leila Amgoud, Henri Prade	Using Arguments for Making Decisions: A Possibilistic Logic Approach.	UAI	2004	DBLP BibTeX RDF
1	Didier Dubois, Souhila Kaci, Henri Prade	Ordinal and absolute representations of positive information in possibilistic logic.	NMR	2004	DBLP BibTeX RDF
1	Yuan Yan Chen, Joseph J. Chen	Neural Networks and Belief Logic.	HIS	2004	DBLP DOI BibTeX RDF
1	Didier Dubois, Sébastien Konieczny, Henri Prade	Quasi-Possibilistic Logic and its Measures of Information and Conflict.	Fundam. Inform.	2003	DBLP BibTeX RDF
1	Michel Grabisch	Temporal scenario modelling and recognition based on possibilistic logic.	Artif. Intell.	2003	DBLP DOI BibTeX RDF
1	Leila Amgoud, Henri Prade	A Possibilistic Logic Modeling of Autonomous Agents Negotiation.	EPIA	2003	DBLP DOI BibTeX RDF
1	Salem Benferhat, Rania El Baida, Frédéric Cuppens	A Possibilistic Logic Encoding of Access Control.	FLAIRS Conference	2003	DBLP BibTeX RDF
1	Nahla Ben Amor, Salem Benferhat, Zied Elouedi, Khaled Mellouli	Decision Trees and Qualitative Possibilistic Inference: Application to the Intrusion Detection Problem.	ECSQARU	2003	DBLP DOI BibTeX RDF
1	Teresa Alsinet, Lluis Godo	Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants.	Int. J. Intell. Syst.	2002	DBLP DOI BibTeX RDF
1	Teresa Alsinet, Lluis Godo, Sandra Sandri	Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Salem Benferhat, Didier Dubois, Laurent Garcia, Henri Prade	On the transformation between possibilistic logic bases and possibilistic causal networks.	Int. J. Approx. Reasoning	2002	DBLP DOI BibTeX RDF
1	Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade	Possibilistic logic representation of preferences: relating prioritized goals and satisfaction levels expressions.	ECAI	2002	DBLP BibTeX RDF
1	Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade	Bipolar Representation and Fusion of Preferences on the Possibilistic Logic framework.	KR	2002	DBLP BibTeX RDF
1	Didier Dubois, Henri Prade	Bipolarity in Possibilistic Logic and Fuzzy Rules.	SOFSEM	2002	DBLP DOI BibTeX RDF
1	João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira	Paraconsistent Logic Programs.	JELIA	2002	DBLP DOI BibTeX RDF
1	Salem Benferhat, Didier Dubois, Henri Prade	Towards a Possibilistic Logic Handling of Preferences.	Appl. Intell.	2001	DBLP DOI BibTeX RDF
1	Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade	Graphical readings of possibilistic logic bases.	UAI	2001	DBLP BibTeX RDF
1	Didier Dubois	Confidence Relations as a Basis for Uncertainty Modeling, Plausible Reasoning, and Belief Revision.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF
1	Carlos Viegas Damásio, Luís Moniz Pereira	Antitonic Logic Programs.	LPNMR	2001	DBLP DOI BibTeX RDF
1	Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade	Encoding Information Fusion in Possibilistic Logic: A General Framework for Rational Syntactic Merging.	ECAI	2000	DBLP BibTeX RDF
1	Teresa Alsinet, Lluis Godo	A Complete Calcultis for Possibilistic Logic Programming with Fuzzy Propositional Variables.	UAI	2000	DBLP BibTeX RDF
1	Souhila Kaci, Salem Benferhat, Didier Dubois, Henri Prade	A principled analysis of merging operations in possibilistic logic.	UAI	2000	DBLP BibTeX RDF
1	Carlos Viegas Damásio, Luís Moniz Pereira	Hybrid Probabilistic Logic Programs as Residuated Logic Programs.	JELIA	2000	DBLP DOI BibTeX RDF
1	On Wong, Raymond Lau	Possibilistic Reasoning for Intelligent Payment Agents.	PRICAI Workshops	2000	DBLP DOI BibTeX RDF
1	Didier Dubois, Daniel Le Berre, Henri Prade, Régis Sabbadin	Using Possibilistic Logic for Modeling Qualitative Decision: ATMS-based Algorithms.	Fundam. Inform.	1999	DBLP DOI BibTeX RDF
1	Salem Benferhat, Didier Dubois, Henri Prade	Towards a Possibilistic Logic Handling of Preferences.	IJCAI	1999	DBLP BibTeX RDF
1	Salem Benferhat, Didier Dubois, Laurent Garcia, Henri Prade	Possibilistic logic bases and possibilistic graphs.	UAI	1999	DBLP BibTeX RDF
1	Do Van Thanh 0002	A Relationship Between the Probabilistic and the Possibilistic Logic.	Computers and Artificial Intelligence	1998	DBLP BibTeX RDF
1	Salem Benferhat, Didier Dubois, Henri Prade	Practical Handling of Exception-Tainted Rules and Independence Information in Possibilistic Logic.	Appl. Intell.	1998	DBLP DOI BibTeX RDF
1	Salem Benferhat, Claudio Sossai	Merging uncertain knowledge bases in a possibilistic logic framework.	UAI	1998	DBLP BibTeX RDF
1	Luca Boldrin, Claudio Sossai	Local Possibilistic Logic.	Journal of Applied Non-Classical Logics	1997	DBLP BibTeX RDF
1	Didier Dubois, Henri Prade	Valid or Complete Information in Databases - A Possibility Theory-Based Analysis.	DEXA	1997	DBLP DOI BibTeX RDF
1	Petr Hájek, Dagmar Harmancová, Rineke Verbrugge	A qualitative fuzzy possibilistic logic.	Int. J. Approx. Reasoning	1995	DBLP DOI BibTeX RDF
1	Bernhard Hollunder	An alternative proof method for possibilistic logic and its application to terminological logics.	Int. J. Approx. Reasoning	1995	DBLP DOI BibTeX RDF
1	Luca Boldrin	A Substructural Connective for Possibilistic Logic.	ECSQARU	1995	DBLP DOI BibTeX RDF
1	Luca Boldrin, Claudio Sossai	An Algebraic Semantics for Possibilistic Logic.	UAI	1995	DBLP BibTeX RDF
1	Didier Dubois, Jérôme Lang, Henri Prade	Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision, and Variable Certainty Weights.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF
1	Bernhard Hollunder	An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics.	UAI	1994	DBLP BibTeX RDF
1	Salem Benferhat	Handling Hard Rules and Default Rules in Possibilistic Logic.	IPMU	1994	DBLP DOI BibTeX RDF
1	Petr Hájek	Possibilistic Logic as Interpretability Logic.	IPMU	1994	DBLP DOI BibTeX RDF
1	Guilherme Bittencourt, Maurício Marengoni, Sandra Sandri	The Use of Possibilistic Logic PL1 in a Customizable Tool for the Generation of Production-Rule Based Systems.	ECSQARU	1993	DBLP DOI BibTeX RDF