Applied Logic Series

0.3(top 100%)

impact factor

357(top 50%)

papers

3.8K(top 20%)

citations

30(top 20%)

h-index

0.3(top 100%)

extended IF

464

all documents

4.2K

doc citations

50(top 20%)

g-index

Top Articles

#	Title	Journal	Year	Citations
1	A Textbook of Belief Dynamics	Applied Logic Series	1999	276
2	An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof	Applied Logic Series	2002	153
3	The Semantics and Proof Theory of the Logic of Bunched Implications	Applied Logic Series	2002	120
4	Abduction and Induction	Applied Logic Series	2000	118
5	Negation, Absurdity and Contrariety	Applied Logic Series	1999	96
6	Proof Theory for Fuzzy Logics	Applied Logic Series	2009	95
7	The Evolution of Sharedplans	Applied Logic Series	1999	84
8	A New Correctness Proof of the Nelson-Oppen Combination Procedure	Applied Logic Series	1996	82
9	Multi-Dimensional Modal Logic	Applied Logic Series	1997	82
10	Negation in Relevant Logics (How I Stopped Worrying and Learned to Love the Routley Star)	Applied Logic Series	1999	80
11	Foundations of Bayesianism	Applied Logic Series	2001	66
12	Structured Specifications and Interactive Proofs with KIV	Applied Logic Series	1998	64
13	Synthesis with Incomplete Informatio	Applied Logic Series	2000	63
14	The Death of Argument	Applied Logic Series	2004	61
15	Hybrid Logic and its Proof-Theory	Applied Logic Series	2011	58
16	A Comparative Study of Various Model-Theoretic Treatments of Negation: A History of Formal Negation	Applied Logic Series	1999	53
17	Power and Weakness of the Modal Display Calculus	Applied Logic Series	1996	51
18	Bayesianism and Causality, or, Why I am Only a Half-Bayesian	Applied Logic Series	2001	50
19	What Sort of Architecture is Required for a Human-Like Agent?	Applied Logic Series	1999	47
20	Speech Acts for Dialogue Agents	Applied Logic Series	1999	47
21	Prioritizing Default Logic	Applied Logic Series	2000	45
22	Fallacies Arising from Ambiguity	Applied Logic Series	1996	44
23	Knowledge Base Merging by Majority	Applied Logic Series	1999	43
24	Principles of Inference and Their Consequences	Applied Logic Series	2001	43
25	Existence and Reference in Medieval Logic	Applied Logic Series	2001	42
26	Multi-Dimensional Modal Logic	Applied Logic Series	1997	38
27	Causal Inference without Counterfactuals	Applied Logic Series	2001	37
28	Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction	Applied Logic Series	2002	36
29	What is Negation?	Applied Logic Series	1999	35
30	Combining Classical and Intuitionistic Logic	Applied Logic Series	1996	31
31	Bayesian Learning and Expectations Formation: Anything Goes	Applied Logic Series	2001	31
32	A Computational Interpretation of Modal Proofs	Applied Logic Series	1996	31
33	Automated Model Building	Applied Logic Series	2004	30
34	Goal-Directed Proof Theory	Applied Logic Series	2000	29
35	Transitive Closure and the Mechanization of Mathematics	Applied Logic Series	2003	28
36	Bayesianism and the Fixity of the Theoretical Framework	Applied Logic Series	2001	28
37	The Basic Dynamic Doxastic Logic of AGM	Applied Logic Series	2001	27
38	Translating Graded Modalities into Predicate Logics	Applied Logic Series	1996	27
39	From Here to There: Stable Negation in Logic Programming	Applied Logic Series	1999	26
40	The SAT Problem of Signed CNF Formulas	Applied Logic Series	2000	26
41	Proof Theory at Work: Program Development in the Minlog System	Applied Logic Series	1998	25
42	Abductive and Inductive Reasoning: Background and Issues	Applied Logic Series	2000	25
43	Integrating Abduction and Induction in Machine Learning	Applied Logic Series	2000	23
44	Symbolic Computation: Computer Algebra and Logic	Applied Logic Series	1996	22
45	The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV	Applied Logic Series	1998	22
46	Subjectivism, Objectivism and Objectivity in Bruno de Finetti’s Bayesianism	Applied Logic Series	2001	21
47	Integration Systems and Interaction Spaces	Applied Logic Series	1996	20
48	Smart Inductive Generalizations are Abductions	Applied Logic Series	2000	20
49	Iterated Revision Operations Stemming from the History of an Agent’s Observations	Applied Logic Series	2001	19
50	Deduction-Based Software Component Retrieval	Applied Logic Series	1998	19

Scientometrics

Overviews

Citing Bodies

Applied Logic Series

Top Articles