首页 文献索引 SCI期刊 AI助手
期刊目录筛选

期刊名：Journal of logic and computation

缩写：J LOGIC COMPUT

ISSN：0955-792X

e-ISSN：1465-363X

IF/分区：0.7/Q4

文章目录 更多期刊信息

共收录本刊相关文章索引1705条
Clinical Trial Case Reports Meta-Analysis RCT Review Systematic Review
Classical Article Case Reports Clinical Study Clinical Trial Clinical Trial Protocol Comment Comparative Study Editorial Guideline Letter Meta-Analysis Multicenter Study Observational Study Randomized Controlled Trial Review Systematic Review
Abstract Interpretation Frameworks [0.03%]
COUSOT, PATRICK; COUSOT, RADHIA COUSOT
Journal of Logic and Computation. 1992;2(4):511-547. DOI:10.1093/logcom/2.4.511 1992
Turning an Action Formalism Into a Planner—a Case Study [0.03%]
HERTZBERG, JOACHIM; THIÉBAUX, SYLVIE HERTZBERG
Journal of Logic and Computation. 1994;4(5):617-654. DOI:10.1093/logcom/4.5.617 1994
Partial Continuous Functions and Admissible Domain Representations [0.03%]
Dahlgren, F. Dahlgren
Journal of Logic and Computation. 2007;17(6):1063-1081. DOI:10.1093/logcom/exm034 2007
Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic [0.03%]
Busaniche, M.; Cignoli, R. Busaniche
Journal of Logic and Computation. 2009;19(6):1019-1029. DOI:10.1093/logcom/exp028 2009
From Situation Calculus to Dynamic Epistemic Logic [0.03%]
Van Ditmarsch, H.; Herzig, A.; De Lima et al. Van Ditmarsch et al.
Journal of Logic and Computation. 2011;21(2):179-204. DOI:10.1093/logcom/exq024 2011
Opening the black box of trust: reasoning about trust models in a BDI agent [0.03%]
Koster, A.; Schorlemmer, M.; Sabater-Mir et al. Koster et al.
Journal of Logic and Computation. 2013;23(1):25-58. DOI:10.1093/logcom/exs003 2013
What is a model for a semantically linear  -calculus? [0.03%]
Gaboardi, M.; Piccolo, M. Gaboardi
Journal of Logic and Computation. 2014;24(3):557-589. DOI:10.1093/logcom/exs023 2014
A Multi-Agent System for Dynamic Ontologies [0.03%]
Ottens, K.; Hernandez, N.; Gleizes et al. Ottens et al.
Journal of Logic and Computation. 2009;19(5):831-858. DOI:10.1093/logcom/exn050 2009
Internalizing labelled deduction [0.03%]
Blackburn, P Blackburn
Journal of Logic and Computation. 2000;10(1):137-168. DOI:10.1093/logcom/10.1.137 2000
A geometric proof of confluence by decreasing diagrams [0.03%]
Klop, J. Klop
Journal of Logic and Computation. 2000;10(3):437-460. DOI:10.1093/logcom/10.3.437 2000