Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "closed world assumption"
download as .bib file
@inproceedings{DBLP:conf/aaaiss/WagnerG22,
author = {Benedikt Wagner and
Artur S. d'Avila Garcez},
editor = {Andreas Martin and
Knut Hinkelmann and
Hans{-}Georg Fill and
Aurona Gerber and
Doug Lenat and
Reinhard Stolle and
Frank van Harmelen},
title = {Neural-Symbolic Reasoning Under Open-World and Closed-World Assumptions},
booktitle = {Proceedings of the {AAAI} 2022 Spring Symposium on Machine Learning
and Knowledge Engineering for Hybrid Intelligence {(AAAI-MAKE} 2022),
Stanford University, Palo Alto, California, USA, March 21-23, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3121},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3121/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:39 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/WagnerG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-12130,
author = {Alessandro Antonucci and
Alessandro Facchini and
Lilith Mattei},
title = {Structural Learning of Probabilistic Sentential Decision Diagrams
under Partial Closed-World Assumption},
journal = {CoRR},
volume = {abs/2107.12130},
year = {2021},
url = {https://arxiv.org/abs/2107.12130},
eprinttype = {arXiv},
eprint = {2107.12130},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-12130.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/AlvezGR20,
author = {Javier {\'{A}}lvez and
Itziar Gonzalez{-}Dios and
German Rigau},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Applying the Closed World Assumption to SUMO-Based {FOL} Ontologies
for Effective Commonsense Reasoning},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {585--592},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200142},
doi = {10.3233/FAIA200142},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/AlvezGR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-04620,
author = {Javier {\'{A}}lvez and
Itziar Gonzalez{-}Dios and
German Rigau},
title = {Applying the Closed World Assumption to SUMO-based Ontologies},
journal = {CoRR},
volume = {abs/1808.04620},
year = {2018},
url = {http://arxiv.org/abs/1808.04620},
eprinttype = {arXiv},
eprint = {1808.04620},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-04620.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/RazniewskiSN16,
author = {Simon Razniewski and
Ognjen Savkovic and
Werner Nutt},
editor = {Reinhard Pichler and
Altigran Soares da Silva},
title = {Turning The Partial-Closed World Assumption Upside Down},
booktitle = {Proceedings of the 10th Alberto Mendelzon International Workshop on
Foundations of Data Management, Panama City, Panama, May 8-10, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1644},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1644/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/RazniewskiSN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/naacl/Fei016,
author = {Geli Fei and
Bing Liu},
editor = {Kevin Knight and
Ani Nenkova and
Owen Rambow},
title = {Breaking the Closed World Assumption in Text Classification},
booktitle = {{NAACL} {HLT} 2016, The 2016 Conference of the North American Chapter
of the Association for Computational Linguistics: Human Language Technologies,
San Diego California, USA, June 12-17, 2016},
pages = {506--514},
publisher = {The Association for Computational Linguistics},
year = {2016},
url = {https://doi.org/10.18653/v1/n16-1061},
doi = {10.18653/V1/N16-1061},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/naacl/Fei016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WanYFLX15,
author = {Hai Wan and
Rui Yang and
Liangda Fang and
Yongmei Liu and
Huada Xu},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {A Complete Epistemic Planner without the Epistemic Closed World Assumption},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {3257--3263},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/459},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WanYFLX15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/SonntagC14,
author = {Beno{\^{\i}}t Sonntag and
Dominique Colnet},
title = {Efficient compilation strategy for object-oriented languages under
the closed-world assumption},
journal = {Softw. Pract. Exp.},
volume = {44},
number = {5},
pages = {565--592},
year = {2014},
url = {https://doi.org/10.1002/spe.2174},
doi = {10.1002/SPE.2174},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/SonntagC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gvd/RazniewskiN14,
author = {Simon Razniewski and
Werner Nutt},
editor = {Friederike Klan and
G{\"{u}}nther Specht and
Hans Gamper},
title = {Databases under the Partial Closed-world Assumption: {A} Survey},
booktitle = {Proceedings of the 26th GI-Workshop Grundlagen von Datenbanken, Bozen-Bolzano,
Italy, October 21st to 24th, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1313},
pages = {59--64},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1313/paper\_11.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:47 +0100},
biburl = {https://dblp.org/rec/conf/gvd/RazniewskiN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip11-9/StolermanOAG14,
author = {Ariel Stolerman and
Rebekah Overdorf and
Sadia Afroz and
Rachel Greenstadt},
editor = {Gilbert L. Peterson and
Sujeet Shenoi},
title = {Breaking the Closed-World Assumption in Stylometric Authorship Attribution},
booktitle = {Advances in Digital Forensics {X} - 10th {IFIP} {WG} 11.9 International
Conference, Vienna, Austria, January 8-10, 2014, Revised Selected
Papers},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {433},
pages = {185--205},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44952-3\_13},
doi = {10.1007/978-3-662-44952-3\_13},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip11-9/StolermanOAG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/NicolettiLH13,
author = {Maria C. Nicoletti and
Fl{\'{a}}via O. Santos de S{\'{a}} Lisboa and
Estevam R. Hruschka Jr.},
title = {Automatic Learning of Temporal Relations Under the Closed World Assumption},
journal = {Fundam. Informaticae},
volume = {124},
number = {1-2},
pages = {133--151},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-828},
doi = {10.3233/FI-2013-828},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/NicolettiLH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/MehdiW13,
author = {Anees Mehdi and
Jens Wissmann},
editor = {Matthias Horbach},
title = {EQuIKa System: Supporting {OWL} applications with local closed world
assumption},
booktitle = {43. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
angepasst an Mensch, Organisation und Umwelt, {INFORMATIK} 2013, Koblenz,
Germany, September 16-20, 2013},
series = {{LNI}},
volume = {{P-220}},
pages = {1943--1948},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/20627},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/MehdiW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LutzSW12,
author = {Carsten Lutz and
Inan{\c{c}} Seylan and
Frank Wolter},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Mixing Open and Closed World Assumptionin Ontology-Based Data Access:
Non-Uniform Data Complexity},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics,
DL-2012, Rome, Italy, June 7-10, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-846/paper\_17.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LutzSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Libkin09,
author = {Leonid Libkin and
Cristina Sirangelo},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Ulrike Sattler},
title = {Open and Closed World Assumptions in Data Exchange},
booktitle = {Proceedings of the 22nd International Workshop on Description Logics
{(DL} 2009), Oxford, UK, July 27-30, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {477},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-477/invited\_3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Libkin09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/ChenHS09,
author = {Limin Chen and
Hong Hu and
Zhongzhi Shi},
title = {Reasoning about Web Services with Local Closed World Assumption},
booktitle = {2009 {IEEE/WIC/ACM} International Conference on Web Intelligence,
{WI} 2009, Milan, Italy, 15-18 September 2009, Main Conference Proceedings},
pages = {367--370},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/WI-IAT.2009.64},
doi = {10.1109/WI-IAT.2009.64},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/webi/ChenHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ElciRK08,
author = {Atilla El{\c{c}}i and
Behnam Rahnama and
Saman Kamran},
title = {Defining a Strategy to Select Either of Closed/Open World Assumptions
on Semantic Robots},
booktitle = {Proceedings of the 32nd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
Turku, Finland},
pages = {417--423},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/COMPSAC.2008.182},
doi = {10.1109/COMPSAC.2008.182},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ElciRK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/LecueL06a,
author = {Freddy L{\'{e}}cu{\'{e}} and
Alain L{\'{e}}ger},
title = {Semantic Web Service Composition Based on a Closed World Assumption},
booktitle = {Fourth {IEEE} European Conference on Web Services {(ECOWS} 2006),
4-6 December 2006, Z{\"{u}}rich, Switzerland},
pages = {233--242},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ECOWS.2006.35},
doi = {10.1109/ECOWS.2006.35},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecows/LecueL06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bnaic/Cortes-CalabuigDANB05,
author = {Alvaro Cort{\'{e}}s{-}Calabuig and
Marc Denecker and
Ofer Arieli and
Bert Van Nuffelen and
Maurice Bruynooghe},
editor = {Katja Verbeeck and
Karl Tuyls and
Ann Now{\'{e}} and
Bernard Manderick and
Bart Kuijpers},
title = {On the Local Closed-World Assumption of Data-Sources},
booktitle = {{BNAIC} 2005 - Proceedings of the Seventeenth Belgium-Netherlands
Conference on Artificial Intelligence, Brussels, Belgium, October
17-18, 2005},
pages = {333--334},
publisher = {Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten},
year = {2005},
timestamp = {Thu, 08 Dec 2005 07:17:40 +0100},
biburl = {https://dblp.org/rec/conf/bnaic/Cortes-CalabuigDANB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Cortes-CalabuigDANB05,
author = {Alvaro Cort{\'{e}}s{-}Calabuig and
Marc Denecker and
Ofer Arieli and
Bert Van Nuffelen and
Maurice Bruynooghe},
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
title = {On the Local Closed-World Assumption of Data-Sources},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {145--157},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546207\_12},
doi = {10.1007/11546207\_12},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Cortes-CalabuigDANB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BertinoPS03,
author = {Elisa Bertino and
Alessandro Provetti and
Franco Salvetti},
editor = {Francesco Buccafurri},
title = {Local Closed-World Assumptions for reasoning about Semantic Web data},
booktitle = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio
Calabria, Italy, September 3-5, 2003},
pages = {314--323},
year = {2003},
timestamp = {Wed, 06 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/BertinoPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/WangZ01,
author = {Kewen Wang and
Lizhu Zhou},
title = {Closed World Assumption for Disjunctive Reasoning},
journal = {J. Comput. Sci. Technol.},
volume = {16},
number = {4},
pages = {381--387},
year = {2001},
url = {https://doi.org/10.1007/BF02948986},
doi = {10.1007/BF02948986},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/WangZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Suchenek00,
author = {Marek A. Suchenek},
title = {Evaluation of Queries under Closed-World Assumption. Part {II:} The
Hierarchical Case},
journal = {J. Autom. Reason.},
volume = {25},
number = {4},
pages = {247--289},
year = {2000},
url = {https://doi.org/10.1023/A:1006319819647},
doi = {10.1023/A:1006319819647},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Suchenek00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/DohertyLS00,
author = {Patrick Doherty and
Witold Lukaszewicz and
Andrzej Szalas},
editor = {Stefano A. Cerri and
Danail Dochev},
title = {Efficient Reasoning Using the Local Closed-World Assumption},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 9th
International Conference, {AIMSA} 2000, Varna, Bulgaria, September
20-23, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1904},
pages = {49--58},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45331-8\_5},
doi = {10.1007/3-540-45331-8\_5},
timestamp = {Mon, 18 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/DohertyLS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/RuizM97,
author = {Carolina Ruiz and
Jack Minker},
title = {Combining Closed World Assumptions with Stable Negation},
journal = {Fundam. Informaticae},
volume = {32},
number = {2},
pages = {163--181},
year = {1997},
url = {https://doi.org/10.3233/FI-1997-32205},
doi = {10.3233/FI-1997-32205},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/RuizM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Suchenek97,
author = {Marek A. Suchenek},
title = {Evaluation of Queries under Closed-World Assumption},
journal = {J. Autom. Reason.},
volume = {18},
number = {3},
pages = {357--398},
year = {1997},
url = {https://doi.org/10.1023/A:1005723423016},
doi = {10.1023/A:1005723423016},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Suchenek97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/Raedt96,
author = {Luc De Raedt},
editor = {Zbigniew W. Ras and
Maciej Michalewicz},
title = {PAC-Learning Logic Programs under the Closed-World Assumption},
booktitle = {Foundations of Intelligent Systems, 9th International Symposium, {ISMIS}
'96, Zakopane, Poland, June 9-13, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1079},
pages = {531--540},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61286-6\_177},
doi = {10.1007/3-540-61286-6\_177},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ismis/Raedt96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/KongWC94,
author = {Quinzheng Kong and
M. Howard Williams and
G. Chen},
title = {The Indefinite Closed World Assumption},
journal = {Data Knowl. Eng.},
volume = {12},
number = {3},
pages = {297--311},
year = {1994},
url = {https://doi.org/10.1016/0169-023X(94)90030-2},
doi = {10.1016/0169-023X(94)90030-2},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/KongWC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PereiraAA94,
author = {Lu{\'{\i}}s Moniz Pereira and
Jos{\'{e}} J{\'{u}}lio Alferes and
Joaquim Nunes Apar{\'{\i}}cio},
title = {Adding Closed World Assumptions to Well-Founded Semantics},
journal = {Theor. Comput. Sci.},
volume = {122},
number = {1{\&}2},
pages = {49--68},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90201-1},
doi = {10.1016/0304-3975(94)90201-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/PereiraAA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/krdb/Hustadt94,
author = {Ullrich Hustadt},
editor = {Franz Baader and
Martin Buchheit and
Manfred A. Jeusfeld and
Werner Nutt},
title = {Do we need the closed world assumption in knowledge representation?},
booktitle = {Reasoning about Structured Objects: Knowledge Representation Meets
Databases, Proceedings of 1st Workshop KRDB'94, Saarbr{\"{u}}cken,
Germany, September 20-22, 1994},
series = {{CEUR} Workshop Proceedings},
volume = {1},
publisher = {CEUR-WS.org},
year = {1994},
url = {https://ceur-ws.org/Vol-1/hustadt-long.ps},
timestamp = {Fri, 10 Mar 2023 16:23:33 +0100},
biburl = {https://dblp.org/rec/conf/krdb/Hustadt94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Seipel94,
author = {Dietmar Seipel},
editor = {Frank Pfenning},
title = {An Efficient Computation of Extended Generalized Closed World Assumption
by Support-for-Negation Sets},
booktitle = {Logic Programming and Automated Reasoning, 5th International Conference,
LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {822},
pages = {245--259},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58216-9\_42},
doi = {10.1007/3-540-58216-9\_42},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Seipel94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/PereiraAA92,
author = {Lu{\'{\i}}s Moniz Pereira and
Jos{\'{e}} J{\'{u}}lio Alferes and
Joaquim Nunes Apar{\'{\i}}cio},
title = {Adding Closed World Assumptions to Well Founded Semantics},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems. {FGCS} 1992, June 1-5, Tokyo, Japan},
pages = {562--569},
publisher = {{IOS} Press},
year = {1992},
timestamp = {Wed, 31 Jul 2019 10:45:39 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/PereiraAA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Balbiani91,
author = {Philippe Balbiani},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {A Modal Semantics for the Negation as Failure and the Closed World
Assumption Rules},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {523--534},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020826},
doi = {10.1007/BFB0020826},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Balbiani91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ChomickiS90,
author = {Jan Chomicki and
V. S. Subrahmanian},
title = {Generalized Closed World Assumptions is Pi0{\_}2-Complete},
journal = {Inf. Process. Lett.},
volume = {34},
number = {6},
pages = {289--291},
year = {1990},
url = {https://doi.org/10.1016/0020-0190(90)90012-M},
doi = {10.1016/0020-0190(90)90012-M},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/ChomickiS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Jager90,
author = {Gerhard J{\"{a}}ger},
title = {Annotations on the Consistency of the Closed World Assumption},
journal = {J. Log. Program.},
volume = {8},
number = {3},
pages = {229--247},
year = {1990},
url = {https://doi.org/10.1016/0743-1066(90)90024-Y},
doi = {10.1016/0743-1066(90)90024-Y},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Jager90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Katsuno90,
author = {H. Katsuno},
title = {Closed World Assumptions Having Precedence in Predicates},
journal = {New Gener. Comput.},
volume = {8},
number = {3},
pages = {185--209},
year = {1990},
url = {https://doi.org/10.1007/BF03037516},
doi = {10.1007/BF03037516},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/Katsuno90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/berlin/Gehne90,
author = {J{\"{u}}rgen Gehne},
editor = {David Pearce and
Heinrich Wansing},
title = {Testclasses and Closed World Assumptions for Non-Horn Theories},
booktitle = {Nonclassical Logics and Information Processing, International Workshop,
Berlin, Germany, November 9-10, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {619},
pages = {56--62},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0031923},
doi = {10.1007/BFB0031923},
timestamp = {Tue, 29 Dec 2020 18:27:43 +0100},
biburl = {https://dblp.org/rec/conf/berlin/Gehne90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/RajasekarLM89,
author = {Arcot Rajasekar and
Jorge Lobo and
Jack Minker},
title = {Weak Generalized Closed World Assumption},
journal = {J. Autom. Reason.},
volume = {5},
number = {3},
pages = {293--307},
year = {1989},
url = {https://doi.org/10.1007/BF00248321},
doi = {10.1007/BF00248321},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/RajasekarLM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfdbs/BrassL89,
author = {Stefan Brass and
Udo W. Lipeck},
editor = {J{\'{a}}nos Demetrovics and
Bernhard Thalheim},
title = {Specifying Closed World Assumptions for Logic Databases},
booktitle = {{MFDBS} 89, 2nd Symposium on Mathematical Fundamentals of Database
Systems, Visegr{\'{a}}d, Hungary, June 26-30, 1989},
series = {Lecture Notes in Computer Science},
volume = {364},
pages = {68--84},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51251-9\_6},
doi = {10.1007/3-540-51251-9\_6},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/mfdbs/BrassL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/Suchenek87,
author = {Marek A. Suchenek},
editor = {Zbigniew W. Ras and
Maria Zemankova},
title = {Forcing versus Closed World Assumption},
booktitle = {Methodologies for Intelligent Systems, Proceedings of the Second International
Symposium, Charlotte, North Carolina, USA, October 14-17, 1987},
pages = {453--460},
publisher = {North-Holland/Elsevier},
year = {1987},
timestamp = {Mon, 22 May 2017 09:57:27 +0200},
biburl = {https://dblp.org/rec/conf/ismis/Suchenek87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/Naqvi86,
author = {Shamim A. Naqvi},
editor = {Giorgio Ausiello and
Paolo Atzeni},
title = {Some Extensions to the Closed World Assumption in Databases},
booktitle = {ICDT'86, International Conference on Database Theory, Rome, Italy,
September 8-10, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {243},
pages = {341--348},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-17187-8\_45},
doi = {10.1007/3-540-17187-8\_45},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/Naqvi86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BossuS85,
author = {Genevieve Bossu and
Pierre Siegel},
title = {Saturation, Nonmonotonic Reasoning and the Closed-World Assumption},
journal = {Artif. Intell.},
volume = {25},
number = {1},
pages = {13--63},
year = {1985},
url = {https://doi.org/10.1016/0004-3702(85)90040-2},
doi = {10.1016/0004-3702(85)90040-2},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BossuS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Shepherdson84,
author = {John C. Shepherdson},
title = {Negation as Failure: {A} Comparison of Clark's Completed Data Base
and Reiter's Closed World Assumption},
journal = {J. Log. Program.},
volume = {1},
number = {1},
pages = {51--79},
year = {1984},
url = {https://doi.org/10.1016/0743-1066(84)90023-2},
doi = {10.1016/0743-1066(84)90023-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Shepherdson84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Minker82,
author = {Jack Minker},
editor = {Donald W. Loveland},
title = {On Indefinite Databases and the Closed World Assumption},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {292--308},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000066},
doi = {10.1007/BFB0000066},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Minker82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-23 17:55 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
