Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
33 | A. W. Bollen |
Counterfactuals, Cotenability and Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: AI '88: 2nd Australian Joint Artificial Intelligence Conference, Adelaide, Australia, November 15-18, 1988, Proceedings, pp. 187-201, 1988, Springer, 3-540-52062-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
counterfactuals, logic programming, conditionals, consistency maintenance |
32 | Arnon Avron |
A Non-deterministic View on Non-classical Negations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 80(2-3), pp. 159-194, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Non-deterministic Semantics, Many-valued Logics, Paraconsistent Logics, Negation, Constructive Logics |
32 | David Pearce 0001, Agustín Valverde |
A First Order Nonmonotonic Extension of Constructive Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 80(2-3), pp. 321-346, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
here-and-there logic, equilibrium logic, interpolation, answer set programming, Constructive negation |
32 | Wei Zhang, Tok Wang Ling, Zhuo Chen, Gillian Dobbie |
XDO2: A Deductive Object-Oriented Query Language for XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Database Systems for Advanced Applications, 10th International Conference, DASFAA 2005, Beijing, China, April 17-20, 2005, Proceedings, pp. 311-322, 2005, Springer, 3-540-25334-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
XML query language, not-predicate negation, fixpoint semantics, deductive rule |
32 | Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki |
Annotated Semantics for Defeasible Deontic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000, Revised Papers, pp. 470-478, 2000, Springer, 3-540-43074-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
defeasible deontic logic, extended vector annotated logic program with strong negation, stable model, annotated logic |
32 | Fangzhen Lin, Kewen Wang 0001 |
From Causal Theories to Logic Programs (Sometimes). ![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. 117-131, 1999, Springer, 3-540-66749-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
disjunctive logic programs with classical negation, causal theories of actions, situation calculus |
32 | Robert F. Stärk |
Total Correctness of Logic Programs: A Formal Approach. ![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. 237-254, 1996, Springer, 3-540-60983-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Formal methods in logic programming, verification of logic programs, pure Prolog, negation as failure |
30 | Ilkka Niemelä |
Answer Set Programming without Unstratified Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 88-92, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Michel Leclère, Marie-Laure Mugnier |
An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Knowledge Visualization and Reasoning, 16th International Conference on Conceptual Structures, ICCS 2008, Toulouse, France, July 7-11, 2008, Proceedings, pp. 119-132, 2008, Springer, 978-3-540-70595-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Susana Nieva, Jaime Sánchez-Hernández, Fernando Sáenz-Pérez |
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings, pp. 289-304, 2008, Springer, 978-3-540-78968-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Jung-Jae Kim 0001, Jong-Chan Park |
Extracting contrastive information from negation patterns in biomedical literature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Asian Lang. Inf. Process. ![In: ACM Trans. Asian Lang. Inf. Process. 5(1), pp. 44-60, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
contrastive information, Information extraction, biomedical literature |
30 | Michel Leclère, Marie-Laure Mugnier |
Simple Conceptual Graphs with Atomic Negation and Difference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Inspiration and Application, 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings, pp. 331-345, 2006, Springer, 3-540-35893-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Takayuki Sato, Kazuyuki Amano, Akira Maruoka |
On the Negation-Limited Circuit Complexity of Sorting and Inverting k-tonic Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings, pp. 104-115, 2006, Springer, 3-540-36925-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Carsten Lutz, Dirk Walther 0002 |
PDL with Negation of Atomic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, pp. 259-273, 2004, Springer, 3-540-22345-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Neil V. Murray, Erik Rosenthal |
Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings, pp. 165-180, 2003, Springer, 3-540-40787-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Kazuyuki Amano, Akira Maruoka, Jun Tarui |
On the Negation-Limited Circuit Complexity of Merging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 5th Annual International Conference, COCOON '99, Tokyo, Japan, July 26-28, 1999, Proceedings, pp. 204-209, 1999, Springer, 3-540-66200-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Alessandra Di Pierro, Wlodzimierz Drabent |
On Negation As Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings, pp. 32-46, 1996, Springer, 3-540-61735-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
30 | Sergio Greco, Domenico Saccà, Carlo Zaniolo |
DATALOG Queries with Stratified Negation and Choice: from P to DP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings, pp. 82-96, 1995, Springer, 3-540-58907-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
30 | Viet Phan Luong |
A Mixed Approach to Negation in General Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Fourth International Conference, DOOD'95, Singapore, December 4-7, 1995, Proceedings, pp. 378-394, 1995, Springer, 3-540-60608-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
30 | Marco Schaerf |
Negation and Minimality in Non-Horn Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC, USA, pp. 147-157, 1993, ACM Press, 0-89791-593-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
30 | Chitta Baral |
Generalized Negation As Failure and Semantics of Normal Disjunctive Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings, pp. 309-319, 1992, Springer, 3-540-55727-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
30 | Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa |
Embedding Negation as Failure into a Model Generation Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 400-415, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
30 | Robert F. Stärk |
Negation-Complete Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers, pp. 403-409, 1992, Springer, 3-540-56992-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
30 | Jean-Louis Lassez, Michael J. Maher, Kim Marriott |
Elimination of Negation in Term Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings, pp. 1-16, 1991, Springer, 3-540-54345-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
30 | Zhisheng Huang, Karen L. Kwast |
Awareness, Negation and Logical Omniscience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings, pp. 282-300, 1990, Springer, 3-540-53686-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Robert A. Kowalski |
The Treatment of Negation in Logic Programs for Representing Legislation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Second International Conference on Artificial Intelligence and Law, ICAIL '89, Vancouver, BC, Canada, June 13-16, 1989, pp. 11-15, 1989, ACM, 0-89791-322-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
30 | Anthony J. Bonner |
Hypothetical Datalog: Negation and Linear Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania, USA, pp. 286-300, 1989, ACM Press, 0-89791-308-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Datalog |
30 | Phan Minh Dung, Kanchana Kanchanasut |
A Natural Semantics for Logic Programs with Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Ninth Conference, Bangalore, India, December 19-21, 1989, Proceedings, pp. 78-88, 1989, Springer, 3-540-52048-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
30 | Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini |
Intensional Negation of Logic Programs: Examples and Implementation Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP), pp. 96-110, 1987, Springer, 3-540-17611-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
30 | Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan 0001, Oded Shmueli, Shalom Tsur |
Sets and Negation in a Logic Database Language (LDL1). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California, USA, pp. 21-37, 1987, ACM, 0-89791-223-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
29 | Victor Felea |
A New Algorithm for the Containment Problem of Conjunctive Queries with Safe Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBKDA ![In: The Second International Conference on Advances in Databases, Knowledge, and Data Applications, DBKDA 2010, Menuires, France, 11-16 April 2010, pp. 82-90, 2010, IEEE Computer Society, 978-0-7695-3981-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
negation, query containment, safeness |
29 | Uwe Egly, Martina Seidl, Stefan Woltran |
A solver for QBFs in negation normal form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 14(1), pp. 38-79, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Negation normal form, Solver, QBFs |
29 | Victor Felea |
A Strong Containment Problem for Queries in Conjunctive Form with Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBKDA ![In: The First International Conference on Advances in Databases, Knowledge, and Data Applications, DBKDS 2009, Gosier, Guadeloupe, France, 1-6 March 2009, pp. 114-119, 2009, IEEE Computer Society, 978-0-7695-3550-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
containment mappings, Conjunctive queries, negation |
29 | Alain Frisch, Giuseppe Castagna, Véronique Benzaken |
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 55(4), pp. 19:1-19:64, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
negation types, Subtyping, higher-order functions, intersection types, union types |
29 | Gemma Robles |
The Basic Constructive Logic for Negation-Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 17(2), pp. 161-181, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Ternary relational semantics, Paraconsistent logic, Substructural logics, Constructive negation |
29 | David B. Kemp, Kotagiri Ramamohanarao |
Efficient Recursive Aggregation and Negation in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 10(5), pp. 727-745, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
deductive database systems, EMS-programs, explicitly locally stratified, query evaluation, negation, Aggregate operators |
29 | Yuke Wang, Carl McCrosky |
Negation Trees: A Unified Approach to Boolean Function Complementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 45(5), pp. 626-630, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
complementation algorithms, negation trees, Boolean functions, unate functions |
29 | Siva Anantharaman, Gilles Richard |
A Rewrite Mechanism for Logic Programs with Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings, pp. 163-178, 1995, Springer, 3-540-59200-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
linear completion, logic program, constraints, rewrite system, negation |
29 | María José Ramírez, Moreno Falaschi |
Conditional Narrowing with Constructive Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings, pp. 59-79, 1992, Springer, 3-540-56454-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Equational logic programming, term rewriting systems, narrowing, constructive negation |
27 | Satoru Niki |
Double Negation as Minimal Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 32(5), pp. 861-886, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Norihiro Kamide |
An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 16(3), pp. 389-417, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Thinh Hung Truong, Yulia Otmakhova 0001, Timothy Baldwin, Trevor Cohn, Jey Han Lau, Karin Verspoor |
Not another Negation Benchmark: The NaN-NLI Test Suite for Sub-clausal Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.03256, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Thinh Hung Truong, Timothy Baldwin, Trevor Cohn, Karin Verspoor |
Improving negation detection with negation-focused pre-training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.04012, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Qianli Zhou, Yong Deng 0001 |
NPNT: Non-oscillating Process Negation Transformation of mass functions and a negation-based discounting method in information fusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Appl. Artif. Intell. ![In: Eng. Appl. Artif. Intell. 116, pp. 105381, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Thinh Hung Truong, Yulia Otmakhova 0001, Timothy Baldwin, Trevor Cohn, Jey Han Lau, Karin Verspoor |
Not another Negation Benchmark: The NaN-NLI Test Suite for Sub-clausal Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AACL/IJCNLP (1) ![In: Proceedings of the 2nd Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics and the 12th International Joint Conference on Natural Language Processing, AACL/IJCNLP 2022 - Volume 1: Long Papers, Online Only, November 20-23, 2022, pp. 883-894, 2022, Association for Computational Linguistics, 978-1-955917-65-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
27 | Daan de Jong, Ayoub Bagheri |
The Case of Imperfect Negation Cues: A Two-Step Approach for Automatic Negation Scope Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NLDB ![In: Natural Language Processing and Information Systems - 27th International Conference on Applications of Natural Language to Information Systems, NLDB 2022, Valencia, Spain, June 15-17, 2022, Proceedings, pp. 413-424, 2022, Springer, 978-3-031-08472-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Thinh Hung Truong, Timothy Baldwin, Trevor Cohn, Karin Verspoor |
Improving negation detection with negation-focused pre-training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAACL-HLT ![In: Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, NAACL 2022, Seattle, WA, United States, July 10-15, 2022, pp. 4188-4193, 2022, Association for Computational Linguistics, 978-1-955917-71-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | J. Felicia Lilian, K. Sundarakantham, S. Mercy Shalinie |
Anti-negation method for handling negation words in question answering system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 77(5), pp. 4244-4266, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Elizaveta Sineva, Stefan Grünewald, Annemarie Friedrich, Jonas Kuhn |
Negation-Instance Based Evaluation of End-to-End Negation Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.10013, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
27 | Jinquan Sun, Qi Zhang, Yu Wang, Lei Zhang |
MedAI at SemEval-2021 Task 10: Negation-aware Pre-training for Source-free Negation Detection Domain Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SemEval@ACL/IJCNLP ![In: Proceedings of the 15th International Workshop on Semantic Evaluation, SemEval@ACL/IJCNLP 2021, Virtual Event / Bangkok, Thailand, August 5-6, 2021., pp. 1283-1288, 2021, Association for Computational Linguistics, 978-1-954085-70-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Anastassia Shaitarova, Fabio Rinaldi 0001 |
Negation typology and general representation models for cross-lingual zero-shot negation scope resolution in Russian, French, and Spanish. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAACL-HLT (Student Research Workshop) ![In: Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Student Research Workshop, NAACL-HLT 2021, Online, June 6-11, 2021, pp. 15-23, 2021, Association for Computational Linguistics, 978-1-954085-50-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Elizaveta Sineva, Stefan Grünewald, Annemarie Friedrich, Jonas Kuhn |
Negation-Instance Based Evaluation of End-to-End Negation Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoNLL ![In: Proceedings of the 25th Conference on Computational Natural Language Learning, CoNLL 2021, Online, November 10-11, 2021, pp. 528-543, 2021, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Oleg Kiselyov |
Polynomial Event Semantics: Negation - Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI-isAI Workshops ![In: New Frontiers in Artificial Intelligence - JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, Virtual Event, November 15-17, 2020, Revised Selected Papers, pp. 82-95, 2020, Springer, 978-3-030-79941-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Salud M. Jiménez Zafra, Mariona Taulé, María Teresa Martín-Valdivia, Luis Alfonso Ureña López, Maria Antònia Martí |
SFU ReviewSP-NEG: a Spanish corpus annotated with negation for sentiment analysis. A typology of negation patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Resour. Evaluation ![In: Lang. Resour. Evaluation 52(2), pp. 533-569, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Mansurul Bhuiyan, Amita Misra, Saurabh Tripathy, Jalal Mahmud, Rama Akkiraju |
Don't get Lost in Negation: An Effective Negation Handled Dialogue Acts Prediction Algorithm for Twitter Customer Service Conversations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.06107, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
27 | Clément Dalloux, Vincent Claveau, Natalia Grabar, Claudia Moro 0001 |
Portée de la négation : détection par apprentissage supervisé en français et portugais brésilien (Negation scope : sequence labeling by supervised learning in French and Brazilian-Portuguese). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORIA-TALN-RJC (TALN 2) ![In: Actes de la Conférence TALN. CORIA-TALN-RJC 2018 - Volume 1 - Articles longs, articles courts de TALN, Rennes, France, May 14-18, 2018, pp. 409-418, 2018, ATALA. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
27 | Jonas R. Becker Arenhart, Ederson Safra Melo |
Classical Negation Strikes Back: Why Priest's Attack on Classical Negation Can't Succeed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 11(4), pp. 465-487, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Clément Dalloux |
Détection de l'incertitude et de la négation : un état de l'art (Identifying uncertainty and negation's cues and scope : State of the art One of the goals of our endeavours is to turn a corpus of medical documents into more easily readable structured data). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TALN (RECITAL) ![In: Actes des 24ème Conférence sur le Traitement Automatique des Langues Naturelles. 19es REncontres jeunes Chercheurs en Informatique pour le TAL, RECITAL 2017, Orléans, France, June 26-30, 2017, pp. 94-107, 2017, ATALA. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
27 | Germán Kruszewski, Denis Paperno, Raffaella Bernardi, Marco Baroni |
There Is No Logical Negation Here, But There Are Alternatives: Modeling Conversational Negation with Distributional Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Linguistics ![In: Comput. Linguistics 42(4), pp. 637-660, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Norihiro Kamide |
Paraconsistent Double Negation That Can Simulate Classical Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 46th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2016, Sapporo, Japan, May 18-20, 2016, pp. 131-136, 2016, IEEE Computer Society, 978-1-4673-9489-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | David Buchman, David Poole 0001 |
Negation Without Negation in Probabilistic Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016., pp. 529-532, 2016, AAAI Press, 978-1-57735-755-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
27 | Chungmin Lee |
How Metalinguistic Negation Differs from Descriptive Negation: ERP Evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAPCogSci ![In: Proceedings of the EuroAsianPacific Joint Conference on Cognitive Science / 4th European Conference on Cognitive Science / 11th International Conference on Cognitive Science, Torino, Italy, September 25-27, 2015., 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
27 | Stephen T. Wu, Timothy A. Miller, James J. Masanz, Matthew Coarr, David Carrell, Scott R. Halgrim, David Harris 0004, Cheryl Clark |
Negation's Not Solved: Reconsidering Negation Annotation and Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2013, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 16-20, 2013, 2013, AMIA. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
27 | Kathrin Baker, Michael Bloodgood, Bonnie J. Dorr, Chris Callison-Burch, Nathaniel Wesley Filardo, Christine D. Piatko, Lori S. Levin, Scott Miller |
Modality and Negation in SIMT Use of Modality and Negation in Semantically-Informed Syntactic MT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Linguistics ![In: Comput. Linguistics 38(2), pp. 411-438, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Jing Ding, Chu-Ren Huang |
Negation and Double-Negation of Chinese Oppositeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLSW ![In: Chinese Lexical Semantics - 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Selected Papers, pp. 736-744, 2012, Springer, 978-3-642-36336-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Lei Zhang 0037 |
Analyse automatique d'opinion : problématique de l'intensité et de la négation pour l'application à un corpus journalistique. (Automatic opinion analysis: issue of intensity and negation in a newspaper corpus). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
27 | Norihiro Kamide, Ken Kaneiwa |
Paraconsistent Negation and Classical Negation in Computation Tree Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (1) ![In: ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence, Valencia, Spain, January 22-24, 2010, pp. 464-469, 2010, INSTICC Press, 978-989-674-021-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Khalil Ben Mohamed |
Traitement de requêtes conjonctives avec négation : algorithmes et expérimentations. (Processing of Conjunctive Queries with Negation: Algorithms and Experiments). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
27 | Ira Goldstein, Özlem Uzuner |
Does negation really matter? ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeSp-NLP@ACL ![In: Proceedings of the Workshop on Negation and Speculation in Natural Language Processing, NeSp-NLP@ACL 2010, Uppsala, Sweden, July 10, 2010, pp. 23-27, 2010, University of Antwerp, 9789057282669. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Veronika Vincze |
Speculation and negation annotation in natural language texts: what the case of BioScope might (not) reveal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeSp-NLP@ACL ![In: Proceedings of the Workshop on Negation and Speculation in Natural Language Processing, NeSp-NLP@ACL 2010, Uppsala, Sweden, July 10, 2010, pp. 28-31, 2010, University of Antwerp, 9789057282669. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Eduard H. Hovy |
Negation and modality in distributional semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeSp-NLP@ACL ![In: Proceedings of the Workshop on Negation and Speculation in Natural Language Processing, NeSp-NLP@ACL 2010, Uppsala, Sweden, July 10, 2010, pp. 50, 2010, University of Antwerp, 9789057282669. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Michael Wiegand, Alexandra Balahur, Benjamin Roth 0001, Dietrich Klakow, Andrés Montoyo |
A survey on the role of negation in sentiment analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeSp-NLP@ACL ![In: Proceedings of the Workshop on Negation and Speculation in Natural Language Processing, NeSp-NLP@ACL 2010, Uppsala, Sweden, July 10, 2010, pp. 60-68, 2010, University of Antwerp, 9789057282669. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Isaac G. Councill, Ryan T. McDonald, Leonid Velikovich |
What's great and what's not: learning to classify the scope of negation for improved sentiment analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeSp-NLP@ACL ![In: Proceedings of the Workshop on Negation and Speculation in Natural Language Processing, NeSp-NLP@ACL 2010, Uppsala, Sweden, July 10, 2010, pp. 51-59, 2010, University of Antwerp, 9789057282669. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Jay Halcomb, Adam Pease |
On treating negation within XSB (and upon extending XSB programming with a form of logical negation, and its relations to existing varieties of logic programming). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Answer Set Programming ![In: Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford, CA, USA, March 26-28, 2001, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
27 | Paul Ruet, François Fages |
Combining Explicit Negation and Negation by Failure Via Belnap's Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 171(1-2), pp. 61-75, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Dov M. Gabbay, Heinrich Wansing |
What is Negation in a System? Negation in Structured Consequence Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Action, and Information ![In: Logic, Action, and Information - Essays on Logic in Philosophy and Artificial Intelligence. Walter de Gruyter, Berlin, New York, 1996 (Based on a meeting held in autumn 1992 in Konstanz, Germany), pp. 328-350, 1996, De Gruyter, 3110139944. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
27 | Tibor Kiss |
Modals and the Scope of Negation, On the Treatment of Optionality in HPSG, Some Properties of Negation in German. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWBS Report ![In: IWBS Report 194, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
RDF |
|
27 | Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi |
Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Eigth International Conference, Paris, France, June 24-28, 1991, pp. 32-45, 1991, MIT Press, 0-262-56058-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
27 | David Pearce 0001 |
Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nonclassical Logics and Information Processing ![In: Nonclassical Logics and Information Processing, International Workshop, Berlin, Germany, November 9-10, Proceedings, pp. 63-79, 1990, Springer, 3-540-55745-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Didier Ladret |
Une approche Multi-Aspects pour la négation: yet another article sur la négation en prolog?! ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 379-402, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
27 | Mark Wallace 0001 |
Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 253-263, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
25 | Emad Saad |
Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUM ![In: Scalable Uncertainty Management, Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings, pp. 223-239, 2009, Springer, 978-3-642-04387-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | M. Andrew Moshier, Daniela Petrisan |
A Duality Theorem for Real C* Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 284-299, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner |
Answer Set Programming: A Primer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures, pp. 40-110, 2009, Springer, 978-3-642-03753-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Satoshi Kobayashi |
A New Translation for Semi-classical Theories - Backtracking without CPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings, pp. 210-223, 2008, Springer, 978-3-540-78968-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Carlo Meghini, Nicolas Spyratos |
Computing Intensions of Digital Library Collections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings, pp. 66-81, 2007, Springer, 3-540-70828-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Diptikalyan Saha, C. R. Ramakrishnan 0001 |
Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings, pp. 215-229, 2006, Springer, 3-540-30947-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Wojciech Dzik, Ewa Orlowska, Clint J. van Alten |
Relational Representation Theorems for General Lattices with Negations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings, pp. 162-176, 2006, Springer, 3-540-37873-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Kim Solin |
On Two Dually Nondeterministic Refinement Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings, pp. 373-387, 2006, Springer, 3-540-37873-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis |
Well-Founded Semantics for Boolean Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings, pp. 203-214, 2006, Springer, 3-540-35428-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Emad Saad |
Incomplete Knowledge in Hybrid Probabilistic Logic Programs. ![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. 399-412, 2006, Springer, 3-540-39625-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Reiner Hähnle, Neil V. Murray, Erik Rosenthal |
Normal Forms for Knowledge Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings, pp. 304-313, 2005, Springer, 3-540-25878-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Ester Zumpano, Sergio Greco, Irina Trubitsyna, Pierangelo Veltri |
On the semantics and expressive power of Datalog-like languages for NP search and optimization problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 692-697, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
deductive and logic databases, expressive power of query languages, search and optimization queries, datalog |
25 | Gianluigi Greco, Sergio Greco, Ester Zumpano |
A Logical Framework for Querying and Repairing Inconsistent Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 15(6), pp. 1389-1408, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
consistent queries, disjunctive databases, repair and prioritized constraints, Inconsistent database, database repairs |
25 | Shao Chin Sung, Keisuke Tanaka |
Limiting Negations in Bounded-Depth Circuits: An Extension of Markov's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 14th International Symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003, Proceedings, pp. 108-116, 2003, Springer, 3-540-20695-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Alberto Pettorossi, Maurizio Proietti |
Program Derivation = Rules + Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic: Logic Programming and Beyond ![In: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I, pp. 273-309, 2002, Springer, 3-540-43959-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Yann Loyer, Umberto Straccia |
The Well-Founded Semantics in Normal Logic Programs with Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, pp. 152-166, 2002, Springer, 3-540-44233-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Francisco Javier López-Fraguas, Jaime Sánchez-Hernández |
Narrowing Failure in Functional Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, pp. 212-227, 2002, Springer, 3-540-44233-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano |
Translating Datalog-Like Optimization Queries into ILOG Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers, pp. 48-49, 2002, Springer, 3-540-40438-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Ken Kaneiwa, Satoshi Tojo |
An Order-Sorted Resolution with Implicitly Negative Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 300-314, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|