Search results for "Consequence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
91	Grzegorz Malinowski	Beyond Three Inferential Values.	Stud Logica	2009	DBLP DOI BibTeX RDF	consequence operation, q-consequence, many-valuedness, logical value, inferential value, logical two-valuedness, Suszko’s Thesis, logical n-valuedness, structurality
67	Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima	Consequence finding and computing answers with defaults.	J. Intell. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Consequence finding, Conditional answers, Default theory
62	Robert E. Kent	System Consequence.	ICCS	2009	DBLP DOI BibTeX RDF	logical system, system consequence, information system, information flow, channel
62	Pablo Cobreros	Supervaluationism and Logical Consequence: A Third Way.	Stud Logica	2008	DBLP DOI BibTeX RDF	Supervaluationism, Vagueness, Truth, Logical Consequence
50	Grzegorz Malinowski	Inferential Intensionality.	Stud Logica	2004	DBLP DOI BibTeX RDF	consequence, C-equivalence, C-equality, rule of inference, Tarski, ukasiewicz, modal system, modal logic, inference, proof, acceptance, rejection, four-valued logic, four-valued logic
47	Anders Tychsen, Michael Hitchens	Ghost Worlds - Time and Consequence in MMORPGs.	TIDSE	2006	DBLP DOI BibTeX RDF	Consequence, Time, computer games, Storytelling, MMORPG
47	Katsumi Inoue, Koji Iwanuma	Speculative Computation Through Consequence-Finding in Multi-Agent Environments.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	consequence-finding, SOL calculus, conditional answer, default logic, speculative computation
47	Katsumi Inoue	Induction as Consequence Finding.	Mach. Learn.	2004	DBLP DOI BibTeX RDF	consequence finding, inverse entailment, induction, abduction
46	Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima	Consequence Finding in Default Theories.	FQAS	2004	DBLP DOI BibTeX RDF
45	Lars Lindahl, Jan Odelstad	Strata of Intervenient Concepts in Normative Systems.	DEON	2008	DBLP DOI BibTeX RDF	Legal concept, Intermediate concept, Intervenient, Weakest ground, Strongest consequence, Intervenient minimality, Ownership, Normative system
44	Mirko Malekovic, Mirko Cubrilo, Kornelije Rabuzin	Logical Consequences in Partial Knowledge Bases.	Towards Intelligent Engineering and Information Technology	2009	DBLP DOI BibTeX RDF	partial knowledge bases, dependencies, completeness, soundness, inference rules, formal systems, logical consequences
42	Matthias Güdemann, Frank Ortmeier, Wolfgang Reif	Using Deductive Cause-Consequence Analysis (DCCA) with SCADE.	SAFECOMP	2007	DBLP DOI BibTeX RDF	deductive cause consequence analysis, dcca, SCADE, formal methods, dependability, safety critical systems, safety analysis
42	Marie-Elena C. Kidd	Ensuring critical event sequences in high consequence computer based systems as inspired by path expressions.	ECBS	1997	DBLP DOI BibTeX RDF	critical event sequences, unstable operating environments, fault managemen, high consequence software, embedding checkpoints, update points, finite automata, path expressions, computer based systems, hardware failures, critical software
36	Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue	SOLAR: A Consequence Finding System for Advanced Reasoning.	TABLEAUX	2003	DBLP DOI BibTeX RDF
36	Vladimir V. Rybakov	Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms.	CSR	2006	DBLP DOI BibTeX RDF	consecutions, admissible rules, algorithms, inference rules, linear temporal logic, logic in computer science, logical consequence
33	Göran Sundholm	"Inference versus consequence" revisited: inference, consequence, conditional, implication.	Synth.	2012	DBLP DOI BibTeX RDF
33	Denis Bonnay, Dag Westerståhl	Consequence Mining - Constants Versus Consequence Relations.	J. Philos. Log.	2012	DBLP DOI BibTeX RDF
31	Stefano Brait, Franco Fummi, Graziano Pravadelli	On the use of a high-level fault model to analyze logical consequence of properties.	MEMOCODE	2005	DBLP DOI BibTeX RDF
31	Katsumi Inoue	Induction, Abduction, and Consequence-Finding.	ILP	2001	DBLP DOI BibTeX RDF
31	Dov M. Gabbay, Artur S. d'Avila Garcez	Logical Modes of Attack in Argumentation Networks.	Stud Logica	2009	DBLP DOI BibTeX RDF	modes of attack, defeasible consequence, argumentation
31	Kathrin Glüer, Peter Pagin	Relational Modality.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Definite descriptions, Necessity, Proper names, Rigid designators, Modality, Truth, Possible worlds semantics, Logical consequence
31	James Hawthorne, David Makinson	The Quantitative/Qualitative Watershed for Rules of Uncertain Inference.	Stud Logica	2007	DBLP DOI BibTeX RDF	uncertain inference, consequence relations, Horn rules, probabilistic thresholds, conditional probabilities, nonmonotonic logic
31	Andrea Vietri	On the Posets (W2k, <) and their Connections with Some Homogeneous Inequalities of Degree 2.	Order	2005	DBLP DOI BibTeX RDF	?-linearisation, compatible system, homogeneous inequality, monomial inequality, specular element, logical consequence
31	Konstantinos Georgatos	Ordering-Based Representations of Rational Inference.	JELIA	1996	DBLP DOI BibTeX RDF	foundations of knowledge representation, nonmonotonic consequence relations, orderings of formulas, nonmonotonic reasoning
29	Horacio L. Arló-Costa	Epistemic Context, Defeasible Inference and Conversational Implicature.	CONTEXT	1999	DBLP DOI BibTeX RDF
26	Marta Cialdea Mayer	Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions.	TABLEAUX	2009	DBLP DOI BibTeX RDF
26	Wolfgang W. Bein, Mordecai J. Golin, Lawrence L. Larmore, Yan Zhang 0021	The Knuth-Yao quadrangle-inequality speedup is a consequence of total-monotonicity.	SODA	2006	DBLP DOI BibTeX RDF
26	Robert J. Harder, Alan Barrick, Daniel E. Hocking	Consequence Management through an Innovative Use of Collaborative Tools.	HICSS	2001	DBLP DOI BibTeX RDF
26	Elia Zardini	A Model of Tolerance.	Stud Logica	2008	DBLP DOI BibTeX RDF	sorites paradox, transitivity of consequence, many-valued logics, vagueness, lattice theory
26	Radim Belohlávek	Fuzzy closure operators II: induced relations, representation, and examples.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Fuzzy equivalence, Fuzzy quasiorder, Consequence relation, Closure operator
26	Phan Hong Giang	Representation of Uncertain Belief Using Interval Probability.	ISMVL	1997	DBLP DOI BibTeX RDF	uncertain belief representation, interval probability, representation equivalence, probabilistic closures, consequence relations, non-tautological fragment, probability distribution, uncertainty handling, convex set
26	S. Lehmke	Weight Structures for Approximate Reasoning with Weighted Expressions.	ISMVL	1996	DBLP DOI BibTeX RDF	weight structures, weighted expressions, fundamental relations model, semantic consequence, fuzzy logic, inference mechanisms, multivalued logic, many-valued logic, approximate reasoning, uncertainty handling
24	Franz Baader, Martin Knechtel, Rafael Peñaloza	A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms.	ISWC	2009	DBLP DOI BibTeX RDF
21	Mauricio Osorio 0001, Simone Pascucci	The Logical Consequence Role in LPNMR: A Parameterized Computation Approach.	LPNMR	2009	DBLP DOI BibTeX RDF
21	Martin W. Bunder, Mohua Banerjee, Mihir K. Chakraborty	Some Rough Consequence Logics and their Interrelations.	Trans. Rough Sets	2008	DBLP DOI BibTeX RDF
21	Audun Stolpe	Normative Consequence: The Problem of Keeping It Whilst Giving It up.	DEON	2008	DBLP DOI BibTeX RDF	input/output logic, dynamics, Normative systems
21	Oliver Ray, Katsumi Inoue	A Consequence Finding Approach for Full Clausal Abduction.	Discovery Science	2007	DBLP DOI BibTeX RDF
21	Yuanbo Guo, Jeff Heflin	On Logical Consequence for Collections of OWL Documents.	ISWC	2005	DBLP DOI BibTeX RDF
21	Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn	Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA).	EDCC	2005	DBLP DOI BibTeX RDF
21	Mohua Banerjee	Rough Truth, Consequence, Consistency and Belief Revision.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF
21	Victor L. Winter, Dejan Desovski, Bojan Cukic	Virtual Environment Modeling for Requirements Validation of High Consequence Systems.	RE	2001	DBLP DOI BibTeX RDF
21	Ben L. Di Vito	Software Can Be Entrusted with High Consequence Functionality.	HASE	1999	DBLP DOI BibTeX RDF
21	Victor L. Winter, Raymond Berg	Software Systems: Consequence versus Functionality.	HASE	1999	DBLP DOI BibTeX RDF
21	Atsushi Togashi, Ben-Hui Hou, Shoichi Noguchi	Believability in Default Logic Entails Logical Consequence from Circumscription (Somestimes).	KBCS	1989	DBLP DOI BibTeX RDF
21	Zhengjun Cao, Mulan Liu	Classification of signature-only signature models.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	signature-only signature, signing party, verifying party, lucidity of a message’s content, method of producing Pk, consequence of updating Sk
21	Stevo Bozinovski, Liljana Bozinovska	Beyond Artificial Intelligence toward Engineered Psychology.	IT Revolutions	2008	DBLP DOI BibTeX RDF	Consequence-driven Systems theory, Engineered Psychology, limbic system model, fundamental equation of engineered psychology, measuring units in psychology, Artificial Intelligence, personality
21	Witold A. Pogorzelski, Piotr Wojtylak	A Proof System for Classical Logic.	Stud Logica	2005	DBLP DOI BibTeX RDF	Inferential rule, Consequence operation, Classical logic
21	Ramon Jansana	Leibniz Filters Revisited.	Stud Logica	2003	DBLP DOI BibTeX RDF	Weakly algebraizable logics, global and local consequence relations, Protoalgebraic logics
21	Andrea Vietri	Combinatorial Aspects of Total Weight Orders over Monomials of Fixed Degree.	Order	2002	DBLP DOI BibTeX RDF	Gröbner bases, monomial ordering, weight order, coloring, linearization, primes, linear inequalities, logical consequence
21	Vineet Gupta 0001, Vaughan R. Pratt	Gages Accept Concurrent Behavior	FOCS	1993	DBLP DOI BibTeX RDF	natural concurrent programming language, concurrent behavior, Boolean propositions, intrinsic notion, consequence-preserving renamings, automata, linear logic, duality, accepters, event structures, gates, morphisms, algebraic structure
20	Howard A. Blair, Victor W. Marek, Jeffrey B. Remmel	Set based logic programming.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68Q05, 68T99, 03D99
20	Alexander Moshe Rabinovich	Logic of Trace Languages (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF
20	Carlos E. Alchourrón, Antonio A. Martino	A Sketch of Logic Without Truth.	ICAIL	1989	DBLP DOI BibTeX RDF
17	Mei Ying Lau, Yunmei Liu, David B. Kaber	Consequence severity-probability importance measure for fault tree analysis.	Int. J. Syst. Assur. Eng. Manag.	2024	DBLP DOI BibTeX RDF
17	Avishek Choudhury, Zaria Chaudhry	Large Language Models and User Trust: Consequence of Self-Referential Learning Loop and the Deskilling of Healthcare Professionals.	CoRR	2024	DBLP DOI BibTeX RDF
17	George Yui-Lam Wong, Ron Chi-Wai Kwok, Shanshan Zhang, Gabriel Chun-Hei Lai, Yanyan Li, Jessica Choi-Fung Cheung	Exploring the consequence of information communication technology-enabled work during non-working hours: a stress perspective.	Inf. Technol. People	2024	DBLP DOI BibTeX RDF
17	Yimu Wang, Yihan Wu, Hongyang Zhang 0001	Lost Domain Generalization Is a Natural Consequence of Lack of Training Domains.	AAAI	2024	DBLP DOI BibTeX RDF
17	Brandon Theodorou, Shrusti Jain, Cao Xiao, Jimeng Sun 0001	ConSequence: Synthesizing Logically Constrained Sequences for Electronic Health Record Generation.	AAAI	2024	DBLP DOI BibTeX RDF
17	Ahmed Harhara, Akhil Arora 0002, M. M. Faruque Hasan	Process safety consequence modeling using artificial neural networks for approximating heat exchanger overpressure severity.	Comput. Chem. Eng.	2023	DBLP DOI BibTeX RDF
17	Zachary Kincaid, Nicolas Koh, Shaowei Zhu 0001	When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
17	Joanna Janicka, Jacek Rapinski, Wioleta Blaszczak-Bak	Orthogonal Msplit Estimation for Consequence Disaster Analysis.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
17	Sejin Baek, Gyunyoung Heo	Development of dynamic integrated consequence evaluation (DICE) for dynamic event tree approaches: Numerical validation for a loss of coolant accident.	Reliab. Eng. Syst. Saf.	2023	DBLP DOI BibTeX RDF
17	Haile Woldesellasse, Solomon Tesfamariam	Consequence assessment of gas pipeline failure caused by external pitting corrosion using an integrated Bayesian belief network and GIS model: Application with Alberta pipeline.	Reliab. Eng. Syst. Saf.	2023	DBLP DOI BibTeX RDF
17	Donald Douglas Atsa'am, Frank Adusei-Mensah, Oluwafemi Samson Balogun, Temidayo Oluwatosin Omotehinwa, Oluwaseun Alexander Dada, Richard Osei Agjei, Samuel Nii Odoi Devine	A novel taxonomy of natural disasters based on casualty and consequence using hierarchical clustering.	Int. J. Data Min. Model. Manag.	2023	DBLP DOI BibTeX RDF
17	Carlo Nicolai, Lorenzo Rossi 0005	Systems for Non-Reflexive Consequence.	Stud Logica	2023	DBLP DOI BibTeX RDF
17	R. Sethumadhavi, M. A. Saleemdurai	Diagnosing the Consequence of Uncertain Nutrient Deficiency, and its Sectionalization in Oryza Sativa Using Ensemble Learning Strategies.	J. Uncertain Syst.	2023	DBLP DOI BibTeX RDF
17	Alexei Y. Muravitsky	On Consequence and Rejection as Operators.	Logica Universalis	2023	DBLP DOI BibTeX RDF
17	Jie Zhang, Yinghan Xu, Lingfeng Dong, Qingqi Long	Gratification matters? An explorative study of antecedents and consequence in livestream shopping.	Ind. Manag. Data Syst.	2023	DBLP DOI BibTeX RDF
17	Cedric Hsi-Jui Wu, Revanth Kumar Guttena, Ferry Tema Atmaja	Influence of Social Media Interactions on Vaccination Intention in India: An Application of the Stimulus-Organism-Behavior-Consequence Framework.	Int. J. Hum. Comput. Interact.	2023	DBLP DOI BibTeX RDF
17	Sebastian Lubos, Thi Ngoc Trang Tran, Seda Polat Erdeniz, Merfat El Mansi, Alexander Felfernig, Manfred Wundara, Gerhard Leitner	Concentrating on the Impact: Consequence-based Explanations in Recommender Systems.	CoRR	2023	DBLP DOI BibTeX RDF
17	Brandon Theodorou, Shrusti Jain, Cao Xiao, Jimeng Sun 0001	ConSequence: Synthesizing Logically Constrained Sequences for Electronic Health Record Generation.	CoRR	2023	DBLP DOI BibTeX RDF
17	Amanda Vidal	On the local consequence of modal Product logic: standard completeness and decidability.	CoRR	2023	DBLP DOI BibTeX RDF
17	Muskan Garg, Chandni Saxena, Debabrata Samanta, Bonnie J. Dorr	LonXplain: Lonesomeness as a Consequence of Mental Disturbance in Reddit Posts.	CoRR	2023	DBLP DOI BibTeX RDF
17	Jing Li, Dantong Ouyang, Yuxin Ye	Consequence-based Axiom Pinpointing for Expressive Description Logic Ontologies.	Int. J. Softw. Informatics	2023	DBLP DOI BibTeX RDF
17	Amiya Dash, Shuvabrata Bandopadhay, Soumya Ranjan Samal, Vladimir Poulkov	AI-Enabled IoT Framework for Leakage Detection and Its Consequence Prediction during External Transportation of LPG.	Sensors	2023	DBLP DOI BibTeX RDF
17	Mengxue Ou, Han Zheng 0001, Hye Kyung Kim, Xiaoyu Chen	A meta-analysis of social media fatigue: Drivers and a major consequence.	Comput. Hum. Behav.	2023	DBLP DOI BibTeX RDF
17	Mark Levene, Trevor I. Fenner	The phenomenon of decision oscillation: A new consequence of pathology in game trees.	Comput. Intell.	2023	DBLP DOI BibTeX RDF
17	Francisco Zapata, Eric Smith, Vladik Kreinovich	Unexpected Economic Consequence of Cloud Computing: A Boost to Algorithmic Creativity.	Uncertainty, Constraints, and Decision Making	2023	DBLP DOI BibTeX RDF
17	Doney Abraham, Øyvind Anders Arntzen Toftegaard, Alemayehu Gebremedhin, Sule Yayilgan	Consequence Verification During Risk Assessments of Smart Grids.	Critical Infrastructure Protection	2023	DBLP DOI BibTeX RDF
17	Muskan Garg, Chandni Saxena, Debabrata Samanta, Bonnie J. Dorr	LonXplain: Lonesomeness as a Consequence of Mental Disturbance in Reddit Posts.	NLDB	2023	DBLP DOI BibTeX RDF
17	Emily Barrett, Kelly J. Neville, Lisa Weinstein Billman, Theresa Fersch, Valerie J. Gawron, Emily S. Patterson, Eric S. Vorm	The Use of Simulation to Improve Trust and Adoption of Autonomy and AI in High-Consequence Work Systems.	WSC	2023	DBLP DOI BibTeX RDF
17	Corinna Hertweck, Joachim Baumann 0002, Michele Loi, Christoph Heitz	FairnessLab: A Consequence-Sensitive Bias Audit and Mitigation Toolkit.	EWAF	2023	DBLP BibTeX RDF
17	Yuguang Duan, Gary Lupyan	Divergence in Word Meanings and its Consequence for Communication.	CogSci	2023	DBLP BibTeX RDF
17	Vasileios Linardos, Maria Drakaki, Panagiotis Tzionas	A transformers-based approach on industrial disaster consequence identification from accident narratives.	ISM	2023	DBLP DOI BibTeX RDF
17	Zuoyuan Dong, Zixuan Sun, Xin Yang, Xiaomei Li, Yongkang Xue, Chen Luo, Puyang Cai, Zirui Wang, Shuying Wang, Yewei Zhang, Chaolun Wang, Pengpeng Ren, Zhigang Ji, Xing Wu 0005, Runsheng Wang, Ru Huang	Catching the Missing EM Consequence in Soft Breakdown Reliability in Advanced FinFETs: Impacts of Self-heating, On-State TDDB, and Layout Dependence.	VLSI Technology and Circuits	2023	DBLP DOI BibTeX RDF
17	Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann 0001	DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics.	TABLEAUX	2023	DBLP DOI BibTeX RDF
17	Sebastian Lubos, Thi Ngoc Trang Tran, Seda Polat Erdeniz, Merfat El Mansi, Alexander Felfernig, Manfred Wundara, Gerhard Leitner	Concentrating on the Impact: Consequence-based Explanations in Recommender Systems.	IntRS@RecSys	2023	DBLP BibTeX RDF
17	Tao Chen 0020, Youchao Tan, Jinghua Wang, Cheng (Colin) Zeng	The Unintended Consequence of Land Finance: Evidence from Corporate Tax Avoidance.	Manag. Sci.	2022	DBLP DOI BibTeX RDF
17	Saurabh Ambulkar, Sridhar Ramaswami, Jennifer Blackhurst, Manus Johnny Rungtusanatham	Supply chain disruption risk: an unintended consequence of product innovation.	Int. J. Prod. Res.	2022	DBLP DOI BibTeX RDF
17	Yuanbo Yin, Hao Yang, Pengfei Duan, Luling Li, Enrico Zio, Cuiwei Liu, Yuxing Li	Improved quantitative risk assessment of a natural gas pipeline considering high-consequence areas.	Reliab. Eng. Syst. Saf.	2022	DBLP DOI BibTeX RDF
17	Yang Yang, Suzhen Li, Pengcheng Zhang	Data-driven accident consequence assessment on urban gas pipeline network based on machine learning.	Reliab. Eng. Syst. Saf.	2022	DBLP DOI BibTeX RDF
17	Ramses van der Toorn	The Singularity of Legendre Functions of the First Kind as a Consequence of the Symmetry of Legendre's Equation.	Symmetry	2022	DBLP DOI BibTeX RDF
17	Alan Chodos	Tachyons as a Consequence of Light-Cone Reflection Symmetry.	Symmetry	2022	DBLP DOI BibTeX RDF
17	Costas D. Koutras, Konstantinos Liaskos, Christos Moyzes, Christos Nomikos, Christos Rantsoudis	Default consequence relations from topology and measure theory.	Ann. Math. Artif. Intell.	2022	DBLP DOI BibTeX RDF
17	Xiaoshu Zhou, Fei Zhu, Peiyao Zhao	Predicting before acting: improving policy quality by taking a vision of consequence.	Connect. Sci.	2022	DBLP DOI BibTeX RDF
17	Chanda Thapliyal Nautiyal	Optimum economic ordering and preservation technology expenditure strategy facing non-instantaneous degrading inventory as a consequence of composite impact of advertisement, trade-credit besides inflation.	Int. J. Math. Model. Numer. Optimisation	2022	DBLP DOI BibTeX RDF
17	Anthony M. Barrett, Dan Hendrycks, Jessica Newman, Brandie Nonnecke	Actionable Guidance for High-Consequence AI Risk Management: Towards Standards Addressing AI Catastrophic Risks.	CoRR	2022	DBLP DOI BibTeX RDF
17	Jinyoung Park, Huy Tuan Pham	On a conjecture of Talagrand on selector processes and a consequence on positive empirical processes.	CoRR	2022	DBLP DOI BibTeX RDF
17	Zachary Kincaid, Nicolas Koh, Shaowei Zhu 0001	When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic.	CoRR	2022	DBLP DOI BibTeX RDF
17	Purbita Jana, Mihir K. Chakraborty	A categorical approach to graded fuzzy topological system and fuzzy geometric logic with graded consequence.	J. Appl. Non Class. Logics	2022	DBLP DOI BibTeX RDF