|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 785 occurrences of 414 keywords
|
|
|
Results
Found 2050 publication records. Showing 2050 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Pedro Cabalar, David Lorenzo |
Logic Programs with Functions and Default Values. ![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. 294-306, 2004, Springer, 3-540-23242-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Jing Mei, Shengping Liu, Anbu Yue, Zuoquan Lin |
An Extension to OWL with General Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings, pp. 155-169, 2004, Springer, 3-540-23842-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Marina De Vos |
Implementing Ordered Choice Logic Programming using Answer Set Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, Third International Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20, 2004, Proceedings, pp. 59-77, 2004, Springer, 3-540-20965-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Federico Banti, José Júlio Alferes, Antonio Brogi |
Well Founded Semantics for Logic Program Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings, pp. 397-407, 2004, Springer, 3-540-23806-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Chun Ruan, Vijay Varadharajan |
Supporting E-consent on Health Data by Logic. ![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. 392-396, 2003, Springer, 3-540-20256-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Susumu Yamasaki, Mariko Sasakura |
An automated reasoning for diagnostic knowledge in a distributed environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISICT ![In: Proceedings of the 1st Intenational Symposium on Information and Communication Technologies, Dublin, Ireland, September 24-26, 2003, pp. 530-535, 2003, Trinity College Dublin. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Georg Lausen, Fang Wei 0001 |
On the Containment of Conjunctive Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Science in Perspective ![In: Computer Science in Perspective, Essays Dedicated to Thomas Ottmann, pp. 231-244, 2003, Springer, 3-540-00579-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Samir Chopra, Johannes Heidema, Thomas Andreas Meyer |
Some Logics of Belief and Disbelief. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2003: Advances in Artificial Intelligence, 16th Australian Conference on Artificial Intelligence, Perth, Australia, December 3-5, 2003, Proceedings, pp. 364-376, 2003, Springer, 3-540-20646-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Chun Ruan, Vijay Varadharajan, Yan Zhang 0003 |
Logic-Based Reasoning on Delegatable Authorizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002, Proceedings, pp. 185-193, 2002, Springer, 3-540-43785-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Alexis C. Kaporis, Lefteris M. Kirousis, Efthimios G. Lalas |
The Probabilistic Analysis of a Greedy Satisfiability Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2002, 10th Annual European Symposium, Rome, Italy, September 17-21, 2002, Proceedings, pp. 574-585, 2002, Springer, 3-540-44180-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Sergio Greco, Domenico Saccà |
Search and Optimization Problems in Datalog. ![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 II, pp. 61-82, 2002, Springer, 3-540-43960-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Kalyanamalini Sahoo |
A Deterministic Finite State Automaton for the Oriya Negative Verbal Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Language Engineering Conference ![In: 2002 Language Engineering Conference (LEC 2002), 13-15 December 2002, Hyderabad, India, pp. 110, 2002, IEEE Computer Society, 0-7695-1885-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Davy Van Nieuwenborgh, Dirk Vermeir |
Preferred Answer Sets for Ordered Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings, pp. 432-443, 2002, Springer, 3-540-44190-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Marc Denecker, Maurice Bruynooghe, V. Wiktor Marek |
Logic programming revisited: Logic programs as inductive definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 2(4), pp. 623-654, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
epistemological foundations, inductive definitions |
17 | Sergio Greco, Domenico Saccà, Carlo Zaniolo |
Extending stratified datalog to capture complexity classes ranging from P to QH. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 37(10), pp. 699-725, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Fernando Orejas, Edelmira Pasarella, Elvira Pino |
Semantics of Normal Logic Programs with Embedded Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 255-268, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Jaime Sánchez-Hernández |
A Computational Model for Functional Logic Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 331-347, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres |
System Description: The DLVK Planning System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings, pp. 429-433, 2001, Springer, 3-540-42593-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Nicola Leone, Simona Perri, Francesco Scarcello |
Abduction with Penalization in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2001: Advances in Artificial Intelligence, 7th Congress of the Italian Association for Artificial Intelligence, Bari, Italy, September 25-28, 2001, Proceedings, pp. 123-134, 2001, Springer, 3-540-42601-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Krzysztof R. Apt |
A Denotational Semantics for First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 53-69, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Kung-Kiu Lau, Mario Ornaghi |
Isoinitial Semantics for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 223-238, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez 0001, Manuel Ojeda-Aciego, Agustín Valverde |
Reduction Theorems for Boolean Formulas Using Delta-Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings, pp. 179-192, 2000, Springer, 3-540-41131-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Elisa Bertino, Elena Ferrari, Francesco Buccafurri, Pasquale Rullo |
A Logical Framework for Reasoning on Data Access Control Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Proceedings of the 12th IEEE Computer Security Foundations Workshop, CSFW 1999, Mordano, Italy, June 28-30, 1999, pp. 175-189, 1999, IEEE Computer Society, 0-7695-0201-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift |
Coherent Well-founded Annotated Logic 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. 262-276, 1999, Springer, 3-540-66749-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Bernd Borchert, Lane A. Hemaspaandra, Jörg Rothe |
Restrictive Acceptance Suffices for Equivalence Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 12th International Symposium, FCT '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings, pp. 124-135, 1999, Springer, 3-540-66412-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan |
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings, pp. 322-333, 1999, Springer, 3-540-66856-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Peter Z. Revesz |
Safe Query Languages for Constraint Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 23(1), pp. 58-99, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Datalog |
17 | Ullrich Hustadt, Renate A. Schmidt |
Issues of Decidability for Description Logics in the Framework of Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTP (LNCS Selection) ![In: Automated Deduction in Classical and Non-Classical Logics, Selected Papers, pp. 191-205, 1998, Springer, 3-540-67190-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Roberto Di Cosmo, Jean-Vincent Loddo, Stephane Nicolet |
A Game Semantics Foundation for Logic Programming (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP/ALP ![In: Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings, pp. 355-373, 1998, Springer, 3-540-65012-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Mauricio Osorio 0001, Bharat Jayaraman |
Integrating the Completion and the Well Founded Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Progress in Artificial Intelligence - IBERAMIA 98, 6th Ibero-American Conference on AI, Lisbon, Portugal, October 5-9, 1998, Proceedings., pp. 230-241, 1998, Springer, 3-540-64992-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Stable Semantics, Clark's Completion, Normal Programs, Knowledge Representation, Logic Programming, Non-monotonic Reasoning, Well Founded Semantics |
17 | Chih-Chang Lin, Malgorzata Marek-Sadowska |
On designing universal logic blocks and their application to FPGA design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16(5), pp. 519-527, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Antony Francis Bowers, Patricia M. Hill, Francisco Ibañez |
Resolution for Logic Programming with Universal Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings, pp. 63-77, 1997, Springer, 3-540-63398-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Universal quantifiers, specification, logic programming, programming languages, resolution, implication |
17 | Rajshekhar Sunderraman |
Modeling Negative and Disjunctive Information in Relational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 8th International Conference, DEXA '97, Toulouse, France, September 1-5, 1997, Proceedings, pp. 337-346, 1997, Springer, 3-540-63478-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Serge Abiteboul, Victor Vianu |
Queries and Computation on the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT '97, 6th International Conference, Delphi, Greece, January 8-10, 1997, Proceedings, pp. 262-275, 1997, Springer, 3-540-62222-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Li-Yan Yuan, Jia-Huai You, Randy Goebel |
Disjunctive Logic Programming and Autoepistemic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPKR ![In: Logic Programming and Knowledge Representation, Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers, pp. 85-101, 1997, Springer, 3-540-64958-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Li-Yan Yuan, Jia-Huai You, Randy Goebel |
Disjunctive Logic Programming and Possible Model Semantics (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications ![In: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997, pp. 60-78, 1997, Springer, 3-540-64769-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Boon Toh Low |
Modeling Commonsense Rules in an Inference Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings, pp. 435-446, 1996, Springer, 3-540-61532-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Areas inference network, belief systems, conditionals, commonsense reasoning |
17 | Carlos Viegas Damásio, Luís Moniz Pereira |
Default Negated Conclusions: Why Not? ![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. 103-117, 1996, Springer, 3-540-60983-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Michele Bugliesi, Hasan M. Jamil |
A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings, pp. 222-237, 1995, Springer, 3-540-58907-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Luca Cabibbo |
On the Power of Stratified Logic Programs with Value Invention for Expressing Database Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings, pp. 208-221, 1995, Springer, 3-540-58907-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Paulo Quaresma, José Gabriel Lopes |
A Logic Programming Framework for the Abductive Inference of Intentions in Cooperative Dialogues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings, pp. 189-199, 1994, Springer, 3-540-58216-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Inderpal Singh Mumick, Oded Shmueli |
Universal Finiteness and Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota, USA, pp. 190-200, 1994, ACM Press, 0-89791-642-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
SQL, Datalog |
17 | Chih-Chang Lin, Malgorzata Marek-Sadowska, Duane Gatlin |
Universal logic gate for FPGA design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1994, San Jose, California, USA, November 6-10, 1994, pp. 164-168, 1994, IEEE Computer Society / ACM, 0-89791-690-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Anavai Ramesh, Neil V. Murray |
Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning,4th International Conference, LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings, pp. 277-288, 1993, Springer, 3-540-56944-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Jack Minker, Carolina Ruiz |
On Extended Disjunctive Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings, pp. 1-18, 1993, Springer, 3-540-56804-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Douglas R. Busch |
An Expressive Three-valued Logic with Two Negations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings, pp. 29-38, 1993, Springer, 3-540-56804-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Peter J. Stuckey, S. Sudarshan 0001 |
Well-Founded Ordered Search (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 13th Conference, Bombay, India, December 15-17, 1993, Proceedings, pp. 161-172, 1993, Springer, 3-540-57529-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | François Fages |
On the Semantics of Optimization Predicates in CLP Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 13th Conference, Bombay, India, December 15-17, 1993, Proceedings, pp. 193-204, 1993, Springer, 3-540-57529-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Kyu-Young Whang, Ashok Malhotra, Gary H. Sockut, Luanne M. Burns, Key-Sun Choi |
Two-Dimensional Specification of Universal Quantification in a Graphical Database Query Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(3), pp. 216-224, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
graphical database query language, universal quantification, existential quantification, direct representation, two-dimensional translation, existentially quantified two-dimensional queries, formal specification, relational databases, computer graphics, query languages, database theory, relational queries |
17 | V. Wiktor Marek, Miroslaw Truszczynski |
Autoepistemic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 38(3), pp. 588-619, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Akihiro Yamamoto |
Elementary Formal System as a Logic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989, pp. 73-86, 1989, Springer, 3-540-53919-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Robert F. Stärk |
A Quantifier-Free Completion of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: CSL '89, 3rd Workshop on Computer Science Logic, Kaiserslautern, Germany, October 2-6, 1989, Proceedings, pp. 384-395, 1989, Springer, 3-540-52753-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Norihiro Kamide |
Proof Systems Combining Classical and Paraconsistent Negations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 91(2), pp. 217-238, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Paraconsistent negation, completeness, sequent calculus, cut-elimination |
16 | Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner 0001 |
On the Computability and Complexity Issues of Extended RDF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2008: Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings, pp. 5-16, 2008, Springer, 978-3-540-89196-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Extended RDF ontologies, Semantic Web, complexity, rules, negation |
16 | Pawel Terlecki, Krzysztof Walczak 0002 |
Jumping Emerging Pattern Induction by Means of Graph Coloring and Local Reducts in Transaction Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007, Proceedings, pp. 363-370, 2007, Springer, 978-3-540-72529-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
jumping emerging pattern, pattern with negation, condensed decision table, rough set, graph coloring, transaction database, local reduct |
16 | Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama |
An Intelligent Coordinated Traffic Signal Control Based on EVALPSN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II, pp. 869-876, 2007, Springer, 978-3-540-74826-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
EVALPSN(Extended Vector Annotated Logic Program with Strong Negation), paraconsistent annotated logic program, traffic signal control, defeasible deontic reasoning |
16 | Torben Braüner |
Axioms for classical, intuitionistic, and paraconsistent hybrid logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 15(3), pp. 179-194, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Axiom systems, Modal logic, Paraconsistent logic, Intuitionistic logic, Hybrid logic, Strong negation, Constructive logic |
16 | Daniele Gorla, Matthew Hennessy, Vladimiro Sassone |
Inferring dynamic credentials for rôle-based trust management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, pp. 213-224, 2006, ACM, 1-59593-388-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
logic programming with negation, rôle-based access control, trust-management, inference systems |
16 | Kewen Wang 0001, Lizhu Zhou |
Comparisons and computation of well-founded semantics for disjunctive logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(2), pp. 295-327, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
residual programs, semantics of logic programs and deductive databases, program transformations, argumentation, nonmonotonic reasoning, negation, Disjunctive logic programming, well-founded semantics |
16 | Sergei P. Odintsov |
The Class of Extensions of Nelson's Paraconsistent Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 80(2-3), pp. 291-320, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
N4-lattice, lattice of logics, paraconsistent logic, strong negation |
16 | Fosca Giannotti, Giuseppe Manco 0001, Mirco Nanni, Dino Pedreschi |
Nondeterministic, Nonmonotonic Logic Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 13(5), pp. 813-823, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
databases, Logic programming, nondeterminism, negation, stable models |
16 | Nick Bassiliades, Ioannis P. Vlahavas, Ahmed K. Elmagarmid |
E-DEVICE: An Extensible Active Knowledge Base System with Multiple Rule Type Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 12(5), pp. 824-844, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
derived attributes, active object-oriented database, Knowledge base system, aggregation, negation, production rules, deductive rules |
16 | Monika Maidl |
The Common Fragment of CTL and LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 41st Annual Symposium on Foundations of Computer Science, FOCS 2000, 12-14 November 2000, Redondo Beach, California, USA, pp. 643-652, 2000, IEEE Computer Society, 0-7695-0850-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
action-based computation tree logic, linear time logic, common fragment, ACTL formulas, PSPACE-complete problem, path quantifiers, 1-weak Buchi automaton, automaton size, formula size, computational complexity, temporal logic, trees (mathematics), decidability, finite automata, expressive power, negation, CTL, LTL, inductive definition |
16 | V. S. Subrahmanian |
Nonmonotonic Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 11(1), pp. 143-152, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
logic programming, deductive databases, Nonmonotonic reasoning, incomplete information, negation |
16 | Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian |
Implementing Deductive Databases by Mixed Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 21(2), pp. 238-269, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
negation and disjunction in deductive databases, minimal models |
16 | John R. Fisher, Luu Tran |
A visual logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1996 ACM Symposium on Applied Computing, SAC'96, Philadelphia, PA, USA, February 17-19, 1996, pp. 17-21, 1996, ACM, 0-89791-820-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
classical negation, clause trees, supported propositions, visual logic, logic programs |
16 | V. S. Subrahmanian, Dana S. Nau, Carlo Vago |
WFS + Branch and Bound = Stable Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 7(3), pp. 362-377, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
negation by failure, Logic programming, deductive databases, nonmonotonic reasoning |
16 | Weidong Chen |
Query Evaluation in Deductive Databases with Alternating Fixpoint Semantics ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 20(3), pp. 239-287, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
alternating fixpoint, deductive databases, query evaluations, negation, predicate logic, SLG resolution |
16 | Howard C. Wasserman, Keitaro Yukawa, Zhizhang Shen |
An alternative transformation rule for logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1995 ACM symposium on applied computing, SAC'95, Nashville, TN, USA, February 26-28, 1995, pp. 364-368, 1995, ACM, 0-89791-658-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
program transformation, program development, theory of computation, negation in logic programming |
16 | Rajiv Bagai, Rajshekhar Sunderraman |
Algebraic Computation of the Well-Founded Model for General Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Directions in Databases, 12th British National Conference on Databases, BNCOD 12, Guildford, United Kingdom, July 6-8, 1994, Proceedings, pp. 90-104, 1994, Springer, 3-540-58235-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Weak well-founded semantics, Deductive databases, Negation |
16 | Ouri Wolfson, Aya Ozeri |
Parallel and Distributed Processing of Rules by Data Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(3), pp. 523-530, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
parallel processing of rules, distributed processing of rules, datalog rule programs, rule-instantiations, seminaive evaluation, stratified-negation datalog programs, logic programming, knowledge based systems, distributed databases, communication network, data-reduction, communication overhead, decomposability |
16 | Chandrabose Aravindan, Phan Minh Dung |
Partial Deduction of Logic Programs wrt Well-Founded Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings, pp. 384-402, 1992, Springer, 3-540-55873-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
well-founded negation, program transformation, Partial deduction |
16 | Allen Van Gelder, Kenneth A. Ross, John S. Schlipf |
The Well-Founded Semantics for General Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 38(3), pp. 620-650, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
unfounded sets, three-valued logic, stable models, fixpoints, well-founded models, negation as failure |
16 | Phan Minh Dung |
On the strong completion of logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings, pp. 158-172, 1990, Springer, 3-540-53162-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
predicate completion, two-valued logic, Logic programming, negation, three-valued logic, stable models, circumscription, well-founded models |
16 | Emmanuel Kounalis |
Pumping Lemmas for Tree Languages Generated by Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1990, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings, pp. 369-377, 1990, Springer, 3-540-52953-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Ground normal forms, Finiteness, Language representation, Compiling pattern-matching, Rewrite systems, Equations, Learning from examples, Finite models, Pumping Lemmas, Negation as failure, Proof by induction, Context-sensitive languages |
16 | Véronique Royer |
Backward Chaining Evaluation in Stratified Disjunctive Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee, USA, pp. 183-195, 1990, ACM Press, 0-89791-352-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
deductive data bases, negation by default, stratified data bases, query evaluation, fixpoint semantics, backward chaining |
16 | Li-Yan Yuan, Jia-Huai You |
Discriminant Circumscription. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings, pp. 21-32, 1990, Springer, 3-540-53487-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Logic Programming with Negation, Deductive Databases, Nonmonotonic Reasoning |
13 | Xiaogang Wu |
Similarity measure between generalized intuitionistic fuzzy sets with three kinds of negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 46(4), pp. 9381-9391, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Tomoya Sasaki, Yuto Kikuchi, Kazuo Hara, Ikumi Suzuki |
Investigating Word Vectors for the Negation of Verbs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SN Comput. Sci. ![In: SN Comput. Sci. 5(2), pp. 222, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Neha Punetha, Goonjan Jain |
Optimizing Sentiment Analysis: A Cognitive Approach with Negation Handling via Mathematical Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Comput. ![In: Cogn. Comput. 16(2), pp. 624-640, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Jiali Liu, Fuyuan Xiao 0001 |
On the maximum extropy negation of a probability distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 53(1), pp. 234-246, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Luis Estrada-González, Ricardo Arturo Nicolás-Francisco |
Connexive Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 112(1), pp. 511-539, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Juan Afanador |
Negation and Identity in a Modal Mode Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.01893, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Ha-Thanh Nguyen, Ken Satoh |
Balancing Exploration and Exploitation in LLM using Soft RLLF for Enhanced Negation Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.01185, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Harry Vinall-Smeeth |
Structured d-DNNF Is Not Closed Under Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.04832, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Nicholas Asher, Swarnadeep Bhar |
Strong hallucinations from negation and how to fix them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.10543, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Yongchuan Tang, Rongfei Li |
The negation of permutation mass function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.06483, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Yuwei Zhang, Siffi Singh, Sailik Sengupta, Igor Shalyminov, Hang Su, Hwanjun Song, Saab Mansour |
Can Your Model Tell a Negation from an Implicature? Unravelling Challenges With Intent Encoders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.04314, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Simon Razniewski, Hiba Arnaout, Shrestha Ghosh, Fabian M. Suchanek |
Completeness, Recall, and Negation in Open-world Knowledge Bases: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 56(6), pp. 150:1-150:42, June 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Asahi Yoshida, Yoshihide Kato, Shigeki Matsubara |
Re-Evaluating Syntax-Based Negation Scope Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 107(1), pp. 165-168, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Paolo Maffezioli |
Cut elimination for coherent theories in negation normal form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 63(3-4), pp. 427-445, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | David M. Cerna, Andrew Cropper |
Generalisation through Negation and Predicate Invention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 10467-10475, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Petr Illner, Petr Kucera |
A Compiler for Weak Decomposable Negation Normal Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 10562-10570, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Orion Weller, Dawn J. Lawrie, Benjamin Van Durme |
NevIR: Negation in Neural Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EACL (1) ![In: Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics, EACL 2024 - Volume 1: Long Papers, St. Julian's, Malta, March 17-22, 2024, pp. 2274-2287, 2024, Association for Computational Linguistics, 979-8-89176-088-2. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
13 | Michael Sullivan |
It is not True that Transformers are Inductive Learners: Probing NLI Models with External Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EACL (1) ![In: Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics, EACL 2024 - Volume 1: Long Papers, St. Julian's, Malta, March 17-22, 2024, pp. 1924-1945, 2024, Association for Computational Linguistics, 979-8-89176-088-2. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
13 | Shihan Kong, Jinlin Sun, Jian Wang 0064, Ziye Zhou, Jinyan Shao, Junzhi Yu |
Piecewise Compensation Model Predictive Governor Combined With Conditional Disturbance Negation for Underactuated AUV Tracking Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 70(6), pp. 6191-6200, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Chengxi Yang, Fuyuan Xiao 0001 |
An exponential negation of complex basic belief assignment in complex evidence theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 622, pp. 1228-1251, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Jinlin Sun, Zhiqiang Pu, Yafei Chang, Shihong Ding, Jianqiang Yi |
Appointed-Time Control for Flexible Hypersonic Vehicles with Conditional Disturbance Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Aerosp. Electron. Syst. ![In: IEEE Trans. Aerosp. Electron. Syst. 59(5), pp. 6327-6345, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Norihiro Kamide |
Embedding First-order Classical Logic into Gurevich's Extended First-order Intuitionistic Logic: The Role of Strong Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 10(6), pp. 1025-1058, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
13 | Bram van Es, Leon C. Reteig, Sander C. Tan, Marijn Schraagen, Myrthe M. Hemker, Sebastiaan R. S. Arends, Miguel A. R. Rios, Saskia Haitjema |
Negation detection in Dutch clinical texts: an evaluation of rule-based and machine learning methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 24(1), pp. 10, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 2050 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|