|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3610 occurrences of 2516 keywords
|
|
|
Results
Found 3974 publication records. Showing 3974 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
91 | Grzegorz Malinowski |
Beyond Three Inferential Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 92(2), pp. 203-213, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 26(1), pp. 41-58, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Consequence finding, Conditional answers, Default theory |
62 | Robert E. Kent |
System Consequence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Leveraging Semantic Technologies, 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings, pp. 201-218, 2009, Springer, 978-3-642-03078-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
logical system, system consequence, information system, information flow, channel |
62 | Pablo Cobreros |
Supervaluationism and Logical Consequence: A Third Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 90(3), pp. 291-312, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Supervaluationism, Vagueness, Truth, Logical Consequence |
50 | Grzegorz Malinowski |
Inferential Intensionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 76(1), pp. 3-16, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIDSE ![In: Technologies for Interactive Digital Storytelling and Entertainment, Third International Conference, TIDSE 2006, Darmstadt, Germany, December 4-6, 2006., pp. 300-311, 2006, Springer, 3-540-49934-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 42(1-3), pp. 255-291, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
consequence-finding, SOL calculus, conditional answer, default logic, speculative computation |
47 | Katsumi Inoue |
Induction as Consequence Finding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 55(2), pp. 109-135, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
consequence finding, inverse entailment, induction, abduction |
46 | Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima |
Consequence Finding in Default Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FQAS ![In: Flexible Query Answering Systems, 6th International Conference, FQAS 2004, Lyon, France, June 24-26, 2004, Proceedings, pp. 459-472, 2004, Springer, 3-540-22160-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
45 | Lars Lindahl, Jan Odelstad |
Strata of Intervenient Concepts in Normative Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 203-217, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Intelligent Engineering and Information Technology ![In: Towards Intelligent Engineering and Information Technology, pp. 377-388, 2009, Springer, 978-3-642-03736-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007., pp. 465-478, 2007, Springer, 978-3-540-75100-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, USA, pp. 483-490, 1997, IEEE Computer Society, 0-8186-7889-5. The full citation details ...](Pics/full.jpeg) |
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. ![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. 257-263, 2003, Springer, 3-540-40787-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Vladimir V. Rybakov |
Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings, pp. 322-333, 2006, Springer, 3-540-34166-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 187(3), pp. 943-956, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Denis Bonnay, Dag Westerståhl |
Consequence Mining - Constants Versus Consequence Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 41(4), pp. 671-709, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings, pp. 221-230, 2005, IEEE Computer Society, 0-7803-9227-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Katsumi Inoue |
Induction, Abduction, and Consequence-Finding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001, Proceedings, pp. 65-79, 2001, Springer, 3-540-42538-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Dov M. Gabbay, Artur S. d'Avila Garcez |
Logical Modes of Attack in Argumentation Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 93(2-3), pp. 199-230, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
modes of attack, defeasible consequence, argumentation |
31 | Kathrin Glüer, Peter Pagin |
Relational Modality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 17(3), pp. 307-322, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 86(2), pp. 247-297, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 22(3), pp. 201-221, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings, pp. 176-191, 1996, Springer, 3-540-61630-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 1999, Proceedings, pp. 15-27, 1999, Springer, 3-540-66432-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings, pp. 167-172, 2009, Springer, 978-3-642-02715-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2006, Miami, Florida, USA, January 22-26, 2006, pp. 31-40, 2006, ACM Press, 0-89871-605-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Robert J. Harder, Alan Barrick, Daniel E. Hocking |
Consequence Management through an Innovative Use of Collaborative Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Elia Zardini |
A Model of Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 90(3), pp. 337-368, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 7(1), pp. 53-64, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Fuzzy equivalence, Fuzzy quasiorder, Consequence relation, Closure operator |
26 | Phan Hong Giang |
Representation of Uncertain Belief Using Interval Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 27th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1997, Antigonish, Nova Scotia, Canada, May 28-30, 1997, Proceedings, pp. 111-116, 1997, IEEE Computer Society, 0-8186-7910-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 178-183, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings, pp. 49-64, 2009, Springer, 978-3-642-04929-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Mauricio Osorio 0001, Simone Pascucci |
The Logical Consequence Role in LPNMR: A Parameterized Computation Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings, pp. 464-469, 2009, Springer, 978-3-642-04237-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Martin W. Bunder, Mohua Banerjee, Mihir K. Chakraborty |
Some Rough Consequence Logics and their Interrelations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets VIII, pp. 1-20, 2008, Springer, 978-3-540-85063-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Audun Stolpe |
Normative Consequence: The Problem of Keeping It Whilst Giving It up. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 174-188, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
input/output logic, dynamics, Normative systems |
21 | Oliver Ray, Katsumi Inoue |
A Consequence Finding Approach for Full Clausal Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 10th International Conference, DS 2007, Sendai, Japan, October 1-4, 2007, Proceedings, pp. 173-184, 2007, Springer, 978-3-540-75487-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Yuanbo Guo, Jeff Heflin |
On Logical Consequence for Collections of OWL Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings, pp. 338-352, 2005, Springer, 3-540-29754-5. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-5, 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings, pp. 210-224, 2005, Springer, 3-540-25723-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Mohua Banerjee |
Rough Truth, Consequence, Consistency and Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings, pp. 95-102, 2004, Springer, 3-540-22117-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Victor L. Winter, Dejan Desovski, Bojan Cukic |
Virtual Environment Modeling for Requirements Validation of High Consequence Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 5th IEEE International Symposium on Requirements Engineering (RE 2001), 27-31 August 2001, Toronto, Canada, pp. 23-30, 2001, IEEE Computer Society, 0-7695-1125-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Ben L. Di Vito |
Software Can Be Entrusted with High Consequence Functionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings, pp. 273, 1999, IEEE Computer Society, 0-7695-0418-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Victor L. Winter, Raymond Berg |
Software Systems: Consequence versus Functionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings, pp. 269-270, 1999, IEEE Computer Society, 0-7695-0418-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Atsushi Togashi, Ben-Hui Hou, Shoichi Noguchi |
Believability in Default Logic Entails Logical Consequence from Circumscription (Somestimes). ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBCS ![In: Knowledge Based Computer Systems, International Conference KBCS '89, Bombay, India, December 11-13, 1989, Proceedings, pp. 276-285, 1989, Springer, 3-540-52850-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Zhengjun Cao, Mulan Liu |
Classification of signature-only signature models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 51(8), pp. 1083-1095, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IT Revolutions ![In: IT Revolutions - First International ICST Conference, IT Revolutions 2008, Venice, Italy, December 17-19, 2008, Revised Selected Papers, pp. 171-185, 2008, Springer, 978-3-642-03977-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 80(1), pp. 95-104, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Inferential rule, Consequence operation, Classical logic |
21 | Ramon Jansana |
Leibniz Filters Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 75(3), pp. 305-317, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 19(3), pp. 239-263, 2002. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 62-71, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 52(1), pp. 81-105, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68Q05, 68T99, 03D99 |
20 | Alexander Moshe Rabinovich |
Logic of Trace Languages (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings, pp. 504-517, 1992, Springer, 3-540-55822-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Carlos E. Alchourrón, Antonio A. Martino |
A Sketch of Logic Without Truth. ![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. 165-179, 1989, ACM, 0-89791-322-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Mei Ying Lau, Yunmei Liu, David B. Kaber |
Consequence severity-probability importance measure for fault tree analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Assur. Eng. Manag. ![In: Int. J. Syst. Assur. Eng. Manag. 15(3), pp. 854-870, March 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.14691, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Technol. People ![In: Inf. Technol. People 37(1), pp. 285-307, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![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. 15689-15697, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
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. ![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. 15355-15363, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 170, pp. 108098, February 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(POPL), pp. 1275-1307, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Joanna Janicka, Jacek Rapinski, Wioleta Blaszczak-Bak |
Orthogonal Msplit Estimation for Consequence Disaster Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 15(2), pp. 421, January 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 238, pp. 109425, October 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 240, pp. 109573, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Data Min. Model. Manag. ![In: Int. J. Data Min. Model. Manag. 15(4), pp. 313-330, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Carlo Nicolai, Lorenzo Rossi 0005 |
Systems for Non-Reflexive Consequence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 111(6), pp. 947-977, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Uncertain Syst. ![In: J. Uncertain Syst. 16(1), pp. 2242002:1-2242002:15, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Alexei Y. Muravitsky |
On Consequence and Rejection as Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 17(4), pp. 443-460, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ind. Manag. Data Syst. ![In: Ind. Manag. Data Syst. 123(6), pp. 1649-1669, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Hum. Comput. Interact. ![In: Int. J. Hum. Comput. Interact. 39(15), pp. 3084-3095, September 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.16708, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.05964, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Amanda Vidal |
On the local consequence of modal Product logic: standard completeness and decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.13903, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.18736, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Jing Li, Dantong Ouyang, Yuxin Ye |
Consequence-based Axiom Pinpointing for Expressive Description Logic Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Informatics ![In: Int. J. Softw. Informatics 13(3), pp. 359-374, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(14), pp. 6473, July 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Hum. Behav. ![In: Comput. Hum. Behav. 140, pp. 107597, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Mark Levene, Trevor I. Fenner |
The phenomenon of decision oscillation: A new consequence of pathology in game trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Intell. ![In: Comput. Intell. 39(3), pp. 402-414, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Francisco Zapata, Eric Smith, Vladik Kreinovich |
Unexpected Economic Consequence of Cloud Computing: A Boost to Algorithmic Creativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Uncertainty, Constraints, and Decision Making ![In: Uncertainty, Constraints, and Decision Making, pp. 301-304, 2023, Springer, 978-3-031-36393-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Doney Abraham, Øyvind Anders Arntzen Toftegaard, Alemayehu Gebremedhin, Sule Yayilgan |
Consequence Verification During Risk Assessments of Smart Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVII - 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papers, pp. 40-61, 2023, Springer, 978-3-031-49584-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NLDB ![In: Natural Language Processing and Information Systems - 28th International Conference on Applications of Natural Language to Information Systems, NLDB 2023, Derby, UK, June 21-23, 2023, Proceedings, pp. 379-390, 2023, Springer, 978-3-031-35319-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Winter Simulation Conference, WSC 2023, San Antonio, TX, USA, December 10-13, 2023, pp. 671-685, 2023, IEEE, 979-8-3503-6966-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Corinna Hertweck, Joachim Baumann 0002, Michele Loi, Christoph Heitz |
FairnessLab: A Consequence-Sensitive Bias Audit and Mitigation Toolkit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWAF ![In: Proceedings of the 2nd European Workshop on Algorithmic Fairness, Winterthur, Switzerland, June 7th to 9th, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
17 | Yuguang Duan, Gary Lupyan |
Divergence in Word Meanings and its Consequence for Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 45th Annual Meeting of the Cognitive Science Society, CogSci 2023, Sydney, NSW, Australia, July 26-29, 2023, 2023, cognitivesciencesociety.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
17 | Vasileios Linardos, Maria Drakaki, Panagiotis Tzionas |
A transformers-based approach on industrial disaster consequence identification from accident narratives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISM ![In: Proceedings of the 4th International Conference on Industry 4.0 and Smart Manufacturing (ISM 2023), Lisbon, Portugal, 22-24 November 2023., pp. 1446-1451, 2023, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Technology and Circuits ![In: 2023 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits), Kyoto, Japan, June 11-16, 2023, pp. 1-2, 2023, IEEE, 978-4-86348-806-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings, pp. 37-48, 2023, Springer, 978-3-031-43512-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IntRS@RecSys ![In: Proceedings of the 10th Joint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS 2023) co-located with 17th ACM Conference on Recommender Systems (RecSys 2023), Hybrid Event, Singapore, September 18, 2023., pp. 63-73, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manag. Sci. ![In: Manag. Sci. 68(11), pp. 8319-8342, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Prod. Res. ![In: Int. J. Prod. Res. 60(24), pp. 7194-7213, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 225, pp. 108583, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 219, pp. 108216, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 14(4), pp. 741, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Alan Chodos |
Tachyons as a Consequence of Light-Cone Reflection Symmetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 14(9), pp. 1947, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 90(4), pp. 397-424, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Xiaoshu Zhou, Fei Zhu, Peiyao Zhao |
Predicting before acting: improving policy quality by taking a vision of consequence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Connect. Sci. ![In: Connect. Sci. 34(1), pp. 608-629, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Model. Numer. Optimisation ![In: Int. J. Math. Model. Numer. Optimisation 12(2), pp. 113-140, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.08966, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.10309, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.04000, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 32(1), pp. 11-27, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 3974 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|