• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpdbprdf-labelfacetshttp://dbpedia.org/resource/inference/rules/dbpedia#http://dbpedia.org/resource/inference/rules/opencyc#http://dbpedia.org/resource/inference/rules/umbel#http://dbpedia.org/resource/inference/rules/yago#http://dbpedia.org/schema/property_rules#http://www.ontologyportal.org/inference/rules/SUMO#http://www.ontologyportal.org/inference/rules/WordNet#http://www.w3.org/2002/07/owl#ldpoplwebskos-transurn:det:rdf:labelvirtrdf-labelvirtrdf-urlNone
    
  • Inverse Functional Properties: Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects
  • "Same As": Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects (recommended) Apply to subjects, objects and predicates (not recommended on big datasets) Apply to predicates only (special use cases only)

About: Journal of Applied Non-Classical Logics     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatPublicationsEstablishedIn1991, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)

Type: Thingpersonschema:CreativeWorkperiodical literatureworkwikidata:Q1092563Text (literary theory)wikidata:Q386724yago:WikicatLogicJournalsyago:Artifact100021939yago:Creation103129123yago:Object100002684yago:Periodical106593296yago:PhysicalEntity100001930yago:Product104007894yago:Publication106589574yago:Work104599396academic journalwritten workyago:Whole100003553yago:WikicatPublicationsEstablishedIn1991 New Facet based on Instances of this Class

Journal of Applied Non-Classical Logics is a peer reviewed academic journal published by Taylor & Francis. It focusses on non-classical logic, in particular formal aspects (completeness, decidability, complexity), applications to artificial Intelligence and cognitive science (knowledge representation, automated reasoning, natural language processing), and theoretical computer science (program verification, program synthesis). The journal was established in 1991 by Luis Fariñas del Cerro, who was its editor-in-chief until 2014. He was succeeded in 2015 by Andreas Herzig.