|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1140 occurrences of 775 keywords
|
|
|
Results
Found 2743 publication records. Showing 2743 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
105 | Dongmo Zhang |
Properties of Iterated Multiple Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings, pp. 314-325, 2004, Springer, 3-540-20721-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Iterated belief revision, multiple belief revision, belief revision |
102 | Seung Hwan Kang, Sim Kim Lau |
Ontology Revision Using the Concept of Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part II, pp. 261-267, 2004, Springer, 3-540-23206-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Ontology Revision, Ontology, Belief Revision, The Semantic Web |
102 | Seung Hwan Kang, Sim Kim Lau |
Ontology Revision Using the Concept of Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part III, pp. 8-15, 2004, Springer, 3-540-23205-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Ontology Revision, Ontology, Belief Revision, the Semantic Web |
92 | V. Wiktor Marek, Miroslaw Truszczynski |
Revision Specifications by Means of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings, pp. 122-136, 1994, Springer, 3-540-58332-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
91 | Anurag Maskey, Mitch Cherniack |
Replay-based approaches to revision processing in stream query engines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSPS ![In: Proceedings of the 2008 International Workshop on Scalable Stream Processing System, SSPS 2008, Nantes, France, March 29, 2008, pp. 3-12, 2008, ACM, 978-1-59593-963-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
revision processing, streams, corrections, revisions |
84 | César F. Pimentel, Maria R. Cravo |
Extending SNePSwD with Permissive Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Integration and Interfaces, 10th International Conference on Conceptual Structures, ICCS 2002, Borovets, Bulgaria, July 15-19, 2002, Proceedings, pp. 271-284, 2002, Springer, 3-540-43901-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
83 | Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle |
Revision of Non-Monotonic Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings, pp. 137-151, 1994, Springer, 3-540-58332-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Logic Programming, Revision, Non-monotonic Reasoning |
78 | Gabriele Kern-Isberner |
Following Conditional Structures of Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 125-136, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Ramsey test, ordinal conditional functions, iterated revision, AGM theory, Belief revision, conditionals |
76 | Guilin Qi, Qiu Ji, Peter Haase 0001 |
A Conflict-Based Operator for Mapping Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings, pp. 521-536, 2009, Springer, 978-3-642-04929-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
76 | Gabriele Kern-Isberner |
The Principle of Conditional Preservation in Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002, Proceedings, pp. 105-129, 2002, Springer, 3-540-43220-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
76 | Richard Booth 0001 |
On the Logic of Iterated Non-prioritised Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCII ![In: Conditionals, Information, and Inference, International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers, pp. 86-107, 2002, Springer, 978-3-540-25332-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
76 | V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski |
Annotated Revision Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings, pp. 49-62, 1999, Springer, 3-540-66749-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
72 | Richard W. Selby |
Enabling Reuse-Based Software Development of Large-Scale Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 31(6), pp. 495-510, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
empirical study, software metrics, Software reuse, experimentation, software measurement, large-scale systems, mining software repositories, software faults, software changes |
70 | Richard Booth 0001, Eva Richter |
On Revising Fuzzy Belief Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 80(1), pp. 29-61, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
base revision, partial meet, fuzzy logic, Belief revision |
68 | Ana Luísa Duboc, Aline Paes, Gerson Zaverucha |
Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 18th International Conference, ILP 2008, Prague, Czech Republic, September 10-12, 2008, Proceedings, pp. 91-106, 2008, Springer, 978-3-540-85927-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
68 | Judy Goldsmith, Robert H. Sloan, Balázs Szörényi, György Turán |
New Revision Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 15th International Conference, ALT 2004, Padova, Italy, October 2-5, 2004, Proceedings, pp. 395-409, 2004, Springer, 978-3-540-23356-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
68 | Pei Yang, Yang Gao 0001, Zhaoqian Chen, Shifu Chen |
Believability Based Iterated Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2004: Trends in Artificial Intelligence, 8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, August 9-13, 2004, Proceedings, pp. 936-937, 2004, Springer, 3-540-22817-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
68 | Sébastien Konieczny, Ramón Pino Pérez |
Some Operators for Iterated Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, pp. 498-509, 2001, Springer, 3-540-42464-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
68 | Stefan Wrobel |
On the Proper Definition of Minimality in Specialization and Theory Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML-93, European Conference on Machine Learning, Vienna, Austria, April 5-7, 1993, Proceedings, pp. 65-82, 1993, Springer, 3-540-56602-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
67 | Omar Doukari, Éric Würbel, Robert Jeansoulin |
Distance-Based Semantics for C-Structure Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 359-370, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
C-structure model, systems of spheres, Belief revision |
67 | Natasha Alechina, Mark Jago, Brian Logan 0001 |
Preference-based belief revision for rule-based agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 165(2), pp. 159-177, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Reason maintenance systems, Rule-based agents, Preferences, Belief revision |
67 | Yu Sun 0005, Yuefei Sui, Zhiping Li |
One Axiomatic System for the Ontology Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Information Processing ![In: Intelligent Information Processing III, IFIP TC12 International Conference on Intelligent Information Processing (IIP 2006), September 20-23, Adelaide, Australia, pp. 91-100, 2006, Springer, 978-0-387-44639-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Subsumption relation, Default inheritance, Ontologies, Belief revision |
67 | Mahat Khelfallah, Belaid Benhamou |
Two Revision Methods Based on Constraints: Application to a Flooding Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 265-270, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Linear constraints, Geographic information, Revision |
66 | Satu Eloranta, Raul Hakli, Olli Niinivaara, Matti Nykänen |
Accommodative Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings, pp. 180-191, 2008, Springer, 978-3-540-87802-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
non-prioritized belief revision, knowledge, integrity constraints, belief revision, belief change |
63 | Björn Hartmann, Sean Follmer, Antonio Ricciardi, Timothy Cardenas, Scott R. Klemmer |
d.note: revising user interfaces through change tracking, annotations, and alternatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Atlanta, Georgia, USA, April 10-15, 2010, pp. 493-502, 2010, ACM, 978-1-60558-929-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
interaction design tools, prototyping, annotation, revision |
60 | Mariette Sérayet, Pierre Drap, Odile Papini |
Encoding the Revision of Partially Preordered Information in Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 421-433, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
60 | Guilin Qi, Peter Haase 0001, Zhisheng Huang, Qiu Ji, Jeff Z. Pan, Johanna Völker |
A Kernel Revision Operator for Terminologies - Algorithms and Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings, pp. 419-434, 2008, Springer, 978-3-540-88563-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
60 | Guilin Qi, Fangkai Yang |
A Survey of Revision Approaches in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings, pp. 74-88, 2008, Springer, 978-3-540-88736-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
60 | Yisong Wang, Mingyi Zhang 0002 |
Revision Programs with Explicit Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers, pp. 403-414, 2004, Springer, 3-540-25304-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
60 | Chan Le Duc, Nhan Le Thanh |
Combining Revision Production Rules and Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003, Proceedings, Part I, pp. 89-98, 2003, Springer, 3-540-40803-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
60 | João C. P. da Silva, Sheila R. M. Veloso |
Representing Belief Revision through Default Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA-SBIA ![In: Advances in Artificial Intelligence, International Joint Conference, 7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI, IBERAMIA-SBIA 2000, Atibaia, SP, Brazil, November 19-22, 2000, Proceedings, pp. 227-235, 2000, Springer, 3-540-41276-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
60 | V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski |
Revision Programming = Logic Programming + Integrity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings, pp. 73-89, 1998, Springer, 3-540-65922-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
59 | Brian Hill |
Towards a "Sophisticated" Model of Belief Dynamics. Part II: Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 89(3), pp. 291-323, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Representations of belief, logical omniscience, logical locality, belief dynamics, iterated revision, Gärdenfors postulates, framing effect, awareness, bounded rationality, rational choice theory |
59 | Dongmo Zhang, Yan Zhang 0003 |
Logical Properties of Belief-Revision-Based Bargaining Solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings, pp. 79-89, 2006, Springer, 3-540-49787-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
bargaining theory, belief revision, automated negotiation |
59 | Raymond Y. K. Lau, Peter Bruza, Dawei Song 0001 |
Belief revision for adaptive information retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2004: Proceedings of the 27th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Sheffield, UK, July 25-29, 2004, pp. 130-137, 2004, ACM, 1-58113-881-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
IR context, logic-based IR, belief revision |
57 | Seung Hwan Kang, Sim Kim Lau |
Ontology Revision on the Semantic Web: Integration of belief revision theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, USA, pp. 61, 2007, IEEE Computer Society, 0-7695-2755-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
56 | Gerhard Schurz |
Abductive Belief Revision in Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Revision meets Philosophy of Science ![In: Belief Revision meets Philosophy of Science, pp. 77-104, 2011, Springer, 978-90-481-9608-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
56 | Caroline Semmling, Heinrich Wansing |
Reasoning About Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Revision meets Philosophy of Science ![In: Belief Revision meets Philosophy of Science, pp. 303-328, 2011, Springer, 978-90-481-9608-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
56 | Erik J. Olsson |
Functional vs. Relational Approaches to Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Revision meets Philosophy of Science ![In: Belief Revision meets Philosophy of Science, pp. 253-268, 2011, Springer, 978-90-481-9608-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
56 | Paul Thagard, Scott Findlay |
Changing Minds About Climate Change: Belief Revision, Coherence, and Emotion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Revision meets Philosophy of Science ![In: Belief Revision meets Philosophy of Science, pp. 329-345, 2011, Springer, 978-90-481-9608-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
56 | Bengt Hansson |
A Note on Theory Change and Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Revision meets Philosophy of Science ![In: Belief Revision meets Philosophy of Science, pp. 155-162, 2011, Springer, 978-90-481-9608-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
52 | Omar Doukari, Robert Jeansoulin, Éric Würbel |
A New Framework for Local Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2008: Advances in Artificial Intelligence, 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008, Proceedings, pp. 54-64, 2008, Springer, 978-3-540-88635-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
52 | Guilin Qi, Weiru Liu, David A. Bell |
Knowledge Base Revision in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings, pp. 386-398, 2006, Springer, 3-540-39625-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
52 | Fabio Paglieri, Cristiano Castelfranchi |
Revising Beliefs Through Arguments: Bridging the Gap Between Argumentation and Belief Revision in MAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ArgMAS ![In: Argumentation in Multi-Agent Systems, First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers, pp. 78-94, 2004, Springer, 3-540-24526-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Andreas Herzig, Sébastien Konieczny, Laurent Perrussel |
On Iterated Revision in the AGM Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings, pp. 477-488, 2003, Springer, 3-540-40494-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
52 | Yang Gao 0001, Zhaochun Sun, Ning Li |
How to Choose the Optimal Policy in Multi-agent Belief Revision? ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings, pp. 706-710, 2003, Springer, 3-540-14040-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
52 | James P. Delgrande, Aaron Hunter 0001, Torsten Schaub |
COBA: A Consistency-Based Belief Revision System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings, pp. 509-512, 2002, Springer, 3-540-44190-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
52 | Benedita Malheiro, Eugénio Oliveira |
Argumentation as Distributed Belief Revision: Conflict Resolution in Decentralised Co-operative Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings, pp. 205-218, 2001, Springer, 3-540-43030-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
52 | João P. Martins |
Computational issues in belief revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Theory Change ![In: The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings, pp. 51-71, 1989, Springer, 3-540-53567-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
51 | Jorge García Duque, José Juan Pazos-Arias, Martín López Nores, Yolanda Blanco-Fernández, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Ramos Cabrer, Alberto Gil-Solla |
Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 14(3), pp. 129-153, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Analysis-revision, Formal requirements specifications, Refinement, Retrenchment |
51 | Hai H. Nguyen |
Belief Revision in a Fact-Rule Agent's Belief Base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings, pp. 120-130, 2009, Springer, 978-3-642-01664-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Rule contraction, Rule-based agents, Belief revision |
51 | Raymond Y. K. Lau, Peter D. Bruza, Dawei Song 0001 |
Towards a belief-revision-based adaptive and context-sensitive information retrieval system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 26(2), pp. 8:1-8:38, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
retrieval context, text mining, information flow, Belief revision, adaptive information retrieval |
51 | Jean Lieber |
Application of the Revision Theory to Adaptation in Case-Based Reasoning: The Conservative Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning Research and Development, 7th International Conference on Case-Based Reasoning, ICCBR 2007, Belfast, Northern Ireland, UK, August 13-16, 2007, Proceedings, pp. 239-253, 2007, Springer, 978-3-540-74138-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
knowledge-intensive case-based reasoning, conservative adaptation, theory of revision, logical representation of cases, application to oncology, adaptation, case-based reasoning |
51 | Omar Doukari, Robert Jeansoulin |
Space-contained conflict revision, for geographic information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGILE Conf. ![In: The European Information Society: Leading the Way with Geo-information, Proceedings of the 10th AGILE Conference, Aalborg, Denmark, 8-11 May 2007, pp. 335-347, 2007, Springer, 978-3-540-72384-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Reiter diagnosis, local-to-global extension, belief revision |
51 | Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan 0001 |
Belief revision for AgentSpeak agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 1288-1290, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
AgentSpeak, Jason, belief revision, BDI |
51 | Robert Jeansoulin, Éric Würbel |
An anytime revision operator for large and uncertain geographic data sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 7(6), pp. 386-393, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Geomatics, Geographic information systems, Belief revision, Approximate reasoning, Spatial constraints, Non-classical logics |
51 | Raymond Y. K. Lau, Peter van den Brand |
Belief Revision and Text Mining for Adaptive Recommender Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings, pp. 226-230, 2003, Springer, 3-540-20256-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Text Mining, Belief Revision, Recommender Agents |
51 | K. Suzanne Barber, Joonoo Kim |
Belief Revision Process Based on Trust: Agents Evaluating Reputation of Information Sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trust in Cyber-societies ![In: Proceedings of the Fourth International Conference on Autonomous Agents, AGENTS 2000, Barcelona, Catalonia, Spain, June 3-7, 2000, pp. 73-82, 2000, ACM, 1-58113-230-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Multi-agent belief revision, reputation, trust management, Bayesian belief networks |
51 | Y. B. Karasik |
Inventiveness as Belief Revision and a Heuristic Rule of Inventive Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Intelligent Problem Solving, Methodologies and Approaches, 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2000, New Orleans, Louisiana, USA, June 19-22, 2000, Proceedings, pp. 328-333, 2000, Springer, 3-540-67689-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
innovation modeling, computer aided inventive design, logics in artificial intelligence, belief revision |
51 | V. Sridhar, M. Narasimha Murty |
Belief revision - an axiomatic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 8(2), pp. 127-153, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
defeasible beliefs, inheritance network, multiple implications, nonmonotonic inference rule, belief revision, multiple inheritance, logical inference, Axiomatic approach |
50 | Lourdes Fernández, J. Alfredo Sánchez 0001, Luis Arturo Flores |
An Environment for the Collaborative Revision of Digital Theses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIWG ![In: 6th International Workshop on Groupware (CRIWG 2000), 18-20 October 2000, Madeira, Portugal, pp. 150-153, 2000, IEEE Computer Society, 0-7695-0828-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
collaborative revision, digital theses, asynchronous cooperative toolset, University Digital Libraries for All, Internet, Internet, digital library, annotation, revision, electronic documents, Zeus |
50 | Raymond Lau 0001, Arthur H. M. ter Hofstede, Peter Bruza, Kam-Fai Wong |
Belief revision and possibilistic logic for adaptive information filtering agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 19-, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
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 |
48 | Salem Benferhat, Didier Dubois, Henri Prade, Mary-Anne Williams |
A General Framework for Revising Belief Bases Using Qualitative Jeffrey's Rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009. Proceedings, pp. 612-621, 2009, Springer, 978-3-642-04124-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
48 | Michael D. Ekstrand, John Riedl |
rv you're dumb: identifying discarded work in Wiki article history. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Sym. Wikis ![In: Proceedings of the 2009 International Symposium on Wikis, 2009, Orlando, Florida, USA, October 25-27, 2009, 2009, ACM, 978-1-60558-730-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
article history, visualization, Wiki, Wikipedia |
48 | Richard Booth 0001, Thomas Andreas Meyer |
On the Dynamics of Total Preorders: Revising Abstract Interval Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings, pp. 42-53, 2007, Springer, 978-3-540-75255-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
48 | K. Suzanne Barber, Joonoo Kim |
Soft Security: Isolating Unreliable Agents from Society. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trust, Reputation, and Security ![In: Trust, Reputation, and Security: Theories and Practice, AAMAS 2002 International Workshop, Bologna, Italy, July 15, 2002, Selected and Invited Papers, pp. 224-233, 2002, Springer, 3-540-00988-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
44 | Luciano Caroprese, Miroslaw Truszczynski |
Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings, pp. 100-112, 2008, Springer, 978-3-540-87802-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
44 | Guilin Qi, Weiru Liu, David A. Bell |
A revision-based approach to handling inconsistency in description logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 26(1-2), pp. 115-128, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Semantic web, Knowledge representation, Description logics, Stratification, Inconsistency handling |
44 | Guilin Qi, Weiru Liu, David A. Bell |
Multiple Semi-revision in Possibilistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings, pp. 465-476, 2005, Springer, 3-540-27326-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | César F. Pimentel, Maria R. Cravo |
Affective Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005, Proceedings, pp. 115-126, 2005, Springer, 3-540-30737-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Yasuo Kudo, Tetsuya Murai |
A Method of Belief Base Revision for Extended Logic Programs Based on State Transition Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part I, pp. 1079-1084, 2004, Springer, 3-540-23318-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Jonathan Ben-Naim, Salem Benferhat, Odile Papini, Éric Würbel |
An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, pp. 604-616, 2004, Springer, 3-540-23242-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Ljupco Todorovski, Saso Dzeroski |
Theory Revision in Equation Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 4th International Conference, DS 2001, Washington, DC, USA, November 25-28, 2001, Proceedings, pp. 389-400, 2001, Springer, 3-540-42956-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
44 | Maria R. Cravo, João P. Cachopo, Ana C. Cachopo, João P. Martins |
Permissive Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings, pp. 335-348, 2001, Springer, 3-540-43030-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
44 | Giorgos Flouris, Dimitris Plexousakis |
On the Use of Matrices for Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Panhellenic Conference on Informatics ![In: Advances in Informatics, 8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers, pp. 100-117, 2001, Springer, 3-540-07544-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
44 | Paolo Liberatore |
Compilability and compact representations of revision of Horn knowledge bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 1(1), pp. 131-161, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
compilability, compact representations |
44 | Benedita Malheiro, Eugénio Oliveira |
Solving Conflicting Beliefs with a Distributed Belief Revision Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA-SBIA ![In: Advances in Artificial Intelligence, International Joint Conference, 7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI, IBERAMIA-SBIA 2000, Atibaia, SP, Brazil, November 19-22, 2000, Proceedings, pp. 146-155, 2000, Springer, 3-540-41276-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
44 | Nobuhiro Morita, Makoto Haraguchi, Yoshiaki Okubo |
A Method of Similarity-Driven Knowledge Revision for Type Specializations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 10th International Conference, ALT '99, Tokyo, Japan, December 6-8, 1999, Proceedings, pp. 194-205, 1999, Springer, 3-540-66748-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
44 | Cees Witteveen, Wiebe van der Hoek |
Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings, pp. 303-318, 1996, Springer, 3-540-60983-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
44 | Li-Yan Yuan, Jia-Huai You |
Knowledge Base Revision Using Circumscription. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Third International Conference, DOOD'93, Phoenix, Arizona, USA, December 6-8, 1993, Proceedings, pp. 444-458, 1993, Springer, 3-540-57530-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
44 | Karl Schlechta |
Some results on theory revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Theory Change ![In: The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings, pp. 72-92, 1989, Springer, 3-540-53567-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
44 | Christopher W. Fraser, Eugene W. Myers |
An Editor for Revision Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 9(2), pp. 277-295, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
44 | Emmanuel J. Genot |
The Best of All PossibleWorlds: Where Interrogative Games Meet Research Agendas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Revision meets Philosophy of Science ![In: Belief Revision meets Philosophy of Science, pp. 225-252, 2011, Springer, 978-90-481-9608-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
44 | Sven Ove Hansson |
Changing the Scientific Corpus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Revision meets Philosophy of Science ![In: Belief Revision meets Philosophy of Science, pp. 43-58, 2011, Springer, 978-90-481-9608-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
44 | Peter Gärdenfors, Frank Zenker |
Using Conceptual Spaces to Model the Dynamics of Empirical Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Revision meets Philosophy of Science ![In: Belief Revision meets Philosophy of Science, pp. 137-153, 2011, Springer, 978-90-481-9608-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
44 | Horacio L. Arló-Costa, Arthur Paul Pedersen |
Social Norms, Rational Choice and Belief Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Revision meets Philosophy of Science ![In: Belief Revision meets Philosophy of Science, pp. 163-212, 2011, Springer, 978-90-481-9608-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
44 | Isaac Levi |
Knowledge as True Belief. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Revision meets Philosophy of Science ![In: Belief Revision meets Philosophy of Science, pp. 269-302, 2011, Springer, 978-90-481-9608-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
44 | David Westlund |
Rational Belief Changes for Collective Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Revision meets Philosophy of Science ![In: Belief Revision meets Philosophy of Science, pp. 213-224, 2011, Springer, 978-90-481-9608-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
44 | Jonas Nilsson, Sten Lindström |
Rationality in Flux - Formal Representations of Methodological Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Revision meets Philosophy of Science ![In: Belief Revision meets Philosophy of Science, pp. 347-356, 2011, Springer, 978-90-481-9608-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
44 | Sebastian Enqvist |
A Structuralist Framework for the Logic of Theory Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Revision meets Philosophy of Science ![In: Belief Revision meets Philosophy of Science, pp. 105-135, 2011, Springer, 978-90-481-9608-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
44 | Hans Rott |
Idealizations, Intertheory Explanations and Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Revision meets Philosophy of Science ![In: Belief Revision meets Philosophy of Science, pp. 59-75, 2011, Springer, 978-90-481-9608-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
44 | Raúl Carnota, Ricardo Rodriguez |
AGM Theory and Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Revision meets Philosophy of Science ![In: Belief Revision meets Philosophy of Science, pp. 1-42, 2011, Springer, 978-90-481-9608-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
43 | Hans Rott |
A New Psychologism in Logic? Reflections from the Point of View of Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 88(1), pp. 113-136, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
doxastic states, logic, Psychologism, belief revision, normativity, belief change |
43 | Patrick Taillandier, Cécile Duchêne, Alexis Drogoul |
Knowledge revision in systems based on an informed tree search strategy: application to cartographic generalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSTST ![In: CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, Cergy-Pontoise, France, October 28-31, 2008, pp. 273-278, 2008, ACM, 978-1-60558-046-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
cartographic generalisation, informed tree search strategy, knowledge revision, problem solving |
43 | Mikalai Sabel |
Structuring wiki revision history. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Sym. Wikis ![In: Proceedings of the 2007 International Symposium on Wikis, 2007, Montreal, Quebec, Canada, October 21-25, 2007, pp. 125-130, 2007, ACM, 978-1-59593-861-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
wiki, Wikipedia, revision history |
43 | Chris Parnin, Carsten Görg, Spencer Rugaber |
Enriching revision history with interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: Proceedings of the 2006 International Workshop on Mining Software Repositories, MSR 2006, Shanghai, China, May 22-23, 2006, pp. 155-158, 2006, ACM, 1-59593-397-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
data mining, interaction history, revision history |
43 | V. Benjamin Livshits, Thomas Zimmermann 0001 |
DynaMine: finding common error patterns by mining software revision histories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005, pp. 296-305, 2005, ACM, 1-59593-014-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
error patterns, one-line check-ins, data mining, dynamic analysis, coding patterns, revision histories, software bugs |
43 | Florentino Fernández Riverola, Fernando Díaz 0001, Juan M. Corchado |
Using Rough Sets Theory and Minimum Description Length Principle to Improve a beta-TSK Fuzzy Revision Method for CBR Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBIA ![In: Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29 - October 1, 2004, Proceedings, pp. 424-433, 2004, Springer, 3-540-23237-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
TSK fuzzy models, automated revision stage, rough sets, minimum description length, CBR |
43 | Churn-Jung Liau |
Belief Reasoning, Revision and Fusion by Matrix Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings, pp. 133-142, 2004, Springer, 3-540-22117-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Belief states, belief reasoning, belief fusion, multi-agent systems, matrix algebra, belief revision |
42 | Ronen Feldman, Yair Liberzon, Binyamin Rosenfeld, Yonatan Schler, Jonathan Stoppi |
A framework for specifying explicit bias for revision of approximate information extraction rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the sixth ACM SIGKDD international conference on Knowledge discovery and data mining, Boston, MA, USA, August 20-23, 2000, pp. 189-197, 2000, ACM, 1-58113-233-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
user guided revision, information extraction, text mining, theory revision |
Displaying result #1 - #100 of 2743 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|