about
Anti-intuitionism and paraconsistencyInnovations in computational type theory using NuprlTractable query answering and rewriting under description logic constraintsIntuitionistic hybrid logicAuthenticity: a red herring?LEO-II and Satallax on the Sledgehammer test benchLightweight relevance filtering for machine-generated resolution problemsRuntime verification using the temporal description logic ALC -LTL revisitedA calculus for orchestration of web servicesSPECIAL ISSUE SOCO13-JALAutomatic knowledge learning and case adaptation with a hybrid committee approachThe complexity of satisfiability for fragments of hybrid logic—Part IHigher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutionsProbabilities on Sentences in an Expressive LogicImproving ontology-based text classification: An occupational health and security applicationAddressing moral problems through practical reasoningLevels of modality for BDI LogicSpecial issue on logics for intelligent agents and multi-agent systemsTime and defeasibility in FIPA ACL semanticsAn analytic tableau calculus for a temporalised belief logicSpecifying and verifying interaction protocols in a temporal action logicAbduction and Induction in Artificial IntelligenceTermination of logic programs with imperfect information: applications and query procedureAn encompassing framework for Paraconsistent Logic ProgramsBayesian networks for greenhouse temperature controlAn intelligent fault detection system for a heat pump installation based on a geothermal heat exchangerSimplified method based on an intelligent model to obtain the extinction angle of the current for a single-phase half wave controlled rectifier with resistive and inductive loadSimplified method based on an intelligent model to obtain the extinction angle of the current for a single-phase half wave controlled rectifier with resistive and inductive loadSpecial issue SOCO12Selected papers from the 6th International Conference on Soft Computing Models in Industrial and Environmental ApplicationsLogic-Based Agent VerificationA domain specific language for describing diverse systems of dialogueA Paraconsistent DecagonOn negation: Pure local rulesCombining Probability and LogicIntroductionPreferential theory revisionCommon-sense reasoning as proto-scientific agent activityEpistemology and artificial intelligenceSpecial issue SOCO 2015
P1433
Q55879204-CD7676E8-4F0C-436D-94F6-B29BBD4A7D66Q56228326-66FC7E96-391A-411E-BD93-A2554EB0ED83Q56988673-D3CB68D5-72BF-4E1A-A4C2-60371B751B9FQ56994536-26422BB1-2329-4CD6-95FC-BA8C9FE53348Q57257859-34516F34-A9AB-4FD7-B73F-15C1A9CCD49BQ57382576-760AEE8F-77C6-4834-92BE-E62C2036F9E9Q57382620-0AF66651-DDC8-46AD-89F1-9546A634DA99Q57383679-E84AF032-54F6-47A7-8812-56A765574085Q57650657-C30997D6-98E2-4E9D-B1BF-C27D6D76A925Q57739284-132FC895-4527-4C86-8A20-595567BB9469Q57740028-6C28C08B-C634-4375-8A9F-34175C87B65CQ57998323-7279B24A-D4A5-4737-9B7F-74138D8E4B52Q58001481-152038C6-A689-4F97-83F6-C782A239C556Q58012255-E2592871-920B-4084-9B9B-AFCD7D3031EBQ58049345-10EB2A5F-8F2A-4D7F-8548-4DDF92AEB9E9Q58168510-A31B0B6C-D10C-4821-BC2F-B291CE6CEE96Q58176826-F3154928-DD10-4FC9-9499-2B9135705D59Q58176841-C3C7C4DD-D1F3-49AD-9DB6-5A7B1025B231Q58176844-424D3654-4A34-4AE1-8473-2B79D2EA371CQ58184966-66335D1A-F14F-46AA-BCE4-D306B1CC62C6Q58207621-6A7AC079-3011-4DF7-8975-CD10ED5D620EQ58642755-D0C1A428-6D3A-490A-A30F-CA02C15C6687Q58831010-27F7BBC9-4A7E-45B6-AEE8-D54A5D07587FQ58831022-635E703C-178D-4177-B757-04DEDF0301D1Q58945584-155484E6-5CD2-43C7-AC00-CA26EADEB884Q59194583-F7BCE5F2-C194-47C4-97F8-3F80D10F72A0Q59194607-556FE1BC-E05F-49A8-ABC1-F1145D96B4DCQ59194610-1DCA9171-1DBC-493A-9DD4-73A903E049D7Q59194613-672D61E2-05A1-42EC-AA2B-72F1254E489BQ59194669-368DB23A-BDFD-453F-B0E1-E7FCA555155CQ59764474-F90C5365-A8F2-4765-8236-7687717B6007Q60192460-B8FE4FEB-F4C8-4794-AC0B-49B75BAE7A38Q61593373-543FEA17-195F-4DF6-8BD8-A7B327316AEFQ61593386-9A438A75-D908-471D-8F0F-6FBCF45AA1B3Q61951831-E119B82D-7A57-4A5E-AAE0-DDC19A360676Q62038952-6A58100F-604E-48AA-92A8-40DD69C30BD0Q62038954-5DD01F04-0354-438C-BDB5-43B3D40EFCA4Q62038971-0DE349CF-3431-417B-B202-02862AE3DC85Q62038974-1020BEEA-380A-49FC-AB16-13F00A040E53Q62040576-FF410CBD-FC56-47B2-8386-47B5A7E0FD14
P1433
description
journal
@en
revista científica
@es
rivista scientifica
@it
vědecký časopis
@cs
wetenschappelijk tijdschrift van Elsevier
@nl
wissenschaftliche Fachzeitschrift
@de
مجلة
@ar
name
Journal of Applied Logic
@ast
Journal of Applied Logic
@da
Journal of Applied Logic
@en
Journal of Applied Logic
@es
Journal of Applied Logic
@fi
Journal of Applied Logic
@fr
Journal of Applied Logic
@it
Journal of Applied Logic
@nb
Journal of Applied Logic
@nl
Journal of Applied Logic
@nn
type
label
Journal of Applied Logic
@ast
Journal of Applied Logic
@da
Journal of Applied Logic
@en
Journal of Applied Logic
@es
Journal of Applied Logic
@fi
Journal of Applied Logic
@fr
Journal of Applied Logic
@it
Journal of Applied Logic
@nb
Journal of Applied Logic
@nl
Journal of Applied Logic
@nn
prefLabel
Journal of Applied Logic
@ast
Journal of Applied Logic
@da
Journal of Applied Logic
@en
Journal of Applied Logic
@es
Journal of Applied Logic
@fi
Journal of Applied Logic
@fr
Journal of Applied Logic
@it
Journal of Applied Logic
@nb
Journal of Applied Logic
@nl
Journal of Applied Logic
@nn
P1058
P1156
P123
P1250
P1277
P1476
Journal of Applied Logic
@en
P236
P407
P5963
journal-of-applied-logic