Search results for "negation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Pedro Cabalar, David Lorenzo	Logic Programs with Functions and Default Values.	JELIA	2004	DBLP DOI BibTeX RDF
17	Jing Mei, Shengping Liu, Anbu Yue, Zuoquan Lin	An Extension to OWL with General Rules.	RuleML	2004	DBLP DOI BibTeX RDF
17	Marina De Vos	Implementing Ordered Choice Logic Programming using Answer Set Solvers.	FoIKS	2004	DBLP DOI BibTeX RDF
17	Federico Banti, José Júlio Alferes, Antonio Brogi	Well Founded Semantics for Logic Program Updates.	IBERAMIA	2004	DBLP DOI BibTeX RDF
17	Chun Ruan, Vijay Varadharajan	Supporting E-consent on Health Data by Logic.	ISMIS	2003	DBLP DOI BibTeX RDF
17	Susumu Yamasaki, Mariko Sasakura	An automated reasoning for diagnostic knowledge in a distributed environment.	ISICT	2003	DBLP DOI BibTeX RDF
17	Georg Lausen, Fang Wei 0001	On the Containment of Conjunctive Queries.	Computer Science in Perspective	2003	DBLP DOI BibTeX RDF
17	Samir Chopra, Johannes Heidema, Thomas Andreas Meyer	Some Logics of Belief and Disbelief.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
17	Chun Ruan, Vijay Varadharajan, Yan Zhang 0003	Logic-Based Reasoning on Delegatable Authorizations.	ISMIS	2002	DBLP DOI BibTeX RDF
17	Alexis C. Kaporis, Lefteris M. Kirousis, Efthimios G. Lalas	The Probabilistic Analysis of a Greedy Satisfiability Algorithm.	ESA	2002	DBLP DOI BibTeX RDF
17	Sergio Greco, Domenico Saccà	Search and Optimization Problems in Datalog.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
17	Kalyanamalini Sahoo	A Deterministic Finite State Automaton for the Oriya Negative Verbal Forms.	Language Engineering Conference	2002	DBLP DOI BibTeX RDF
17	Davy Van Nieuwenborgh, Dirk Vermeir	Preferred Answer Sets for Ordered Logic Programs.	JELIA	2002	DBLP DOI BibTeX RDF
17	Marc Denecker, Maurice Bruynooghe, V. Wiktor Marek	Logic programming revisited: Logic programs as inductive definitions.	ACM Trans. Comput. Log.	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.	Acta Informatica	2001	DBLP DOI BibTeX RDF
17	Fernando Orejas, Edelmira Pasarella, Elvira Pino	Semantics of Normal Logic Programs with Embedded Implications.	ICLP	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.	ICLP	2001	DBLP DOI BibTeX RDF
17	Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres	System Description: The DLVK Planning System.	LPNMR	2001	DBLP DOI BibTeX RDF
17	Nicola Leone, Simona Perri, Francesco Scarcello	Abduction with Penalization in Logic Programming.	AI*IA	2001	DBLP DOI BibTeX RDF
17	Krzysztof R. Apt	A Denotational Semantics for First-Order Logic.	Computational Logic	2000	DBLP DOI BibTeX RDF
17	Kung-Kiu Lau, Mario Ornaghi	Isoinitial Semantics for Logic Programs.	Computational Logic	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.	JELIA	2000	DBLP DOI BibTeX RDF
17	Elisa Bertino, Elena Ferrari, Francesco Buccafurri, Pasquale Rullo	A Logical Framework for Reasoning on Data Access Control Policies.	CSFW	1999	DBLP DOI BibTeX RDF
17	Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift	Coherent Well-founded Annotated Logic Programs.	LPNMR	1999	DBLP DOI BibTeX RDF
17	Bernd Borchert, Lane A. Hemaspaandra, Jörg Rothe	Restrictive Acceptance Suffices for Equivalence Problems.	FCT	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.	ASIAN	1999	DBLP DOI BibTeX RDF
17	Peter Z. Revesz	Safe Query Languages for Constraint Databases.	ACM Trans. Database Syst.	1998	DBLP DOI BibTeX RDF	Datalog
17	Ullrich Hustadt, Renate A. Schmidt	Issues of Decidability for Description Logics in the Framework of Resolution.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
17	Roberto Di Cosmo, Jean-Vincent Loddo, Stephane Nicolet	A Game Semantics Foundation for Logic Programming (Extended Abstract).	PLILP/ALP	1998	DBLP DOI BibTeX RDF
17	Mauricio Osorio 0001, Bharat Jayaraman	Integrating the Completion and the Well Founded Semantics.	IBERAMIA	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.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
17	Antony Francis Bowers, Patricia M. Hill, Francisco Ibañez	Resolution for Logic Programming with Universal Quantifiers.	PLILP	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.	DEXA	1997	DBLP DOI BibTeX RDF
17	Serge Abiteboul, Victor Vianu	Queries and Computation on the Web.	ICDT	1997	DBLP DOI BibTeX RDF
17	Li-Yan Yuan, Jia-Huai You, Randy Goebel	Disjunctive Logic Programming and Autoepistemic Logic.	LPKR	1997	DBLP DOI BibTeX RDF
17	Li-Yan Yuan, Jia-Huai You, Randy Goebel	Disjunctive Logic Programming and Possible Model Semantics (Invited Paper).	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
17	Boon Toh Low	Modeling Commonsense Rules in an Inference Network.	PRICAI	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?	ELP	1996	DBLP DOI BibTeX RDF
17	Michele Bugliesi, Hasan M. Jamil	A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages.	ICDT	1995	DBLP DOI BibTeX RDF
17	Luca Cabibbo	On the Power of Stratified Logic Programs with Value Invention for Expressing Database Transformations.	ICDT	1995	DBLP DOI BibTeX RDF
17	Paulo Quaresma, José Gabriel Lopes	A Logic Programming Framework for the Abductive Inference of Intentions in Cooperative Dialogues.	LPAR	1994	DBLP DOI BibTeX RDF
17	Inderpal Singh Mumick, Oded Shmueli	Universal Finiteness and Satisfiability.	PODS	1994	DBLP DOI BibTeX RDF	SQL, Datalog
17	Chih-Chang Lin, Malgorzata Marek-Sadowska, Duane Gatlin	Universal logic gate for FPGA design.	ICCAD	1994	DBLP DOI BibTeX RDF
17	Anavai Ramesh, Neil V. Murray	Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates.	LPAR	1993	DBLP DOI BibTeX RDF
17	Jack Minker, Carolina Ruiz	On Extended Disjunctive Logic Programs.	ISMIS	1993	DBLP DOI BibTeX RDF
17	Douglas R. Busch	An Expressive Three-valued Logic with Two Negations.	ISMIS	1993	DBLP DOI BibTeX RDF
17	Peter J. Stuckey, S. Sudarshan 0001	Well-Founded Ordered Search (Extended Abstract).	FSTTCS	1993	DBLP DOI BibTeX RDF
17	François Fages	On the Semantics of Optimization Predicates in CLP Languages.	FSTTCS	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.	IEEE Trans. Software Eng.	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.	J. ACM	1991	DBLP DOI BibTeX RDF
17	Akihiro Yamamoto	Elementary Formal System as a Logic Programming Language.	LP	1989	DBLP DOI BibTeX RDF
17	Robert F. Stärk	A Quantifier-Free Completion of Logic Programs.	CSL	1989	DBLP DOI BibTeX RDF
16	Norihiro Kamide	Proof Systems Combining Classical and Paraconsistent Negations.	Stud Logica	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.	PRICAI	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.	RSFDGrC	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.	KES (2)	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.	J. Log. Lang. Inf.	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.	PPDP	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.	ACM Trans. Comput. Log.	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.	Stud Logica	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.	IEEE Trans. Knowl. Data Eng.	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.	IEEE Trans. Knowl. Data Eng.	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.	FOCS	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.	IEEE Trans. Knowl. Data Eng.	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.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	negation and disjunction in deductive databases, minimal models
16	John R. Fisher, Luu Tran	A visual logic.	SAC	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.	IEEE Trans. Knowl. Data Eng.	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	ACM Trans. Database Syst.	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.	SAC	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.	BNCOD	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.	IEEE Trans. Knowl. Data Eng.	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.	ALP	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.	J. ACM	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.	ALP	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.	MFCS	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.	PODS	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.	FSTTCS	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.	J. Intell. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
13	Tomoya Sasaki, Yuto Kikuchi, Kazuo Hara, Ikumi Suzuki	Investigating Word Vectors for the Negation of Verbs.	SN Comput. Sci.	2024	DBLP DOI BibTeX RDF
13	Neha Punetha, Goonjan Jain	Optimizing Sentiment Analysis: A Cognitive Approach with Negation Handling via Mathematical Modelling.	Cogn. Comput.	2024	DBLP DOI BibTeX RDF
13	Jiali Liu, Fuyuan Xiao 0001	On the maximum extropy negation of a probability distribution.	Commun. Stat. Simul. Comput.	2024	DBLP DOI BibTeX RDF
13	Luis Estrada-González, Ricardo Arturo Nicolás-Francisco	Connexive Negation.	Stud Logica	2024	DBLP DOI BibTeX RDF
13	Juan Afanador	Negation and Identity in a Modal Mode Theory.	CoRR	2024	DBLP DOI BibTeX RDF
13	Ha-Thanh Nguyen, Ken Satoh	Balancing Exploration and Exploitation in LLM using Soft RLLF for Enhanced Negation Understanding.	CoRR	2024	DBLP DOI BibTeX RDF
13	Harry Vinall-Smeeth	Structured d-DNNF Is Not Closed Under Negation.	CoRR	2024	DBLP DOI BibTeX RDF
13	Nicholas Asher, Swarnadeep Bhar	Strong hallucinations from negation and how to fix them.	CoRR	2024	DBLP DOI BibTeX RDF
13	Yongchuan Tang, Rongfei Li	The negation of permutation mass function.	CoRR	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.	CoRR	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.	ACM Comput. Surv.	2024	DBLP DOI BibTeX RDF
13	Asahi Yoshida, Yoshihide Kato, Shigeki Matsubara	Re-Evaluating Syntax-Based Negation Scope Resolution.	IEICE Trans. Inf. Syst.	2024	DBLP DOI BibTeX RDF
13	Paolo Maffezioli	Cut elimination for coherent theories in negation normal form.	Arch. Math. Log.	2024	DBLP DOI BibTeX RDF
13	David M. Cerna, Andrew Cropper	Generalisation through Negation and Predicate Invention.	AAAI	2024	DBLP DOI BibTeX RDF
13	Petr Illner, Petr Kucera	A Compiler for Weak Decomposable Negation Normal Form.	AAAI	2024	DBLP DOI BibTeX RDF
13	Orion Weller, Dawn J. Lawrie, Benjamin Van Durme	NevIR: Negation in Neural Information Retrieval.	EACL (1)	2024	DBLP BibTeX RDF
13	Michael Sullivan	It is not True that Transformers are Inductive Learners: Probing NLI Models with External Negation.	EACL (1)	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.	IEEE Trans. Ind. Electron.	2023	DBLP DOI BibTeX RDF
13	Chengxi Yang, Fuyuan Xiao 0001	An exponential negation of complex basic belief assignment in complex evidence theory.	Inf. Sci.	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.	IEEE Trans. Aerosp. Electron. Syst.	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.	FLAP	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.	BMC Bioinform.	2023	DBLP DOI BibTeX RDF