Matches in SemOpenAlex for { <https://semopenalex.org/work/W2093149618> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2093149618 endingPage "1405" @default.
- W2093149618 startingPage "1367" @default.
- W2093149618 abstract "We introduce Vivid, a domain-independent framework for mechanized heterogeneous reasoning that combines diagrammatic and symbolic representation and inference. The framework is presented in the form of a family of denotational proof languages (DPLs). We present novel formal structures, called named system states, that are specifically designed for modeling potentially underdetermined diagrams. These structures allow us to deal with incomplete information, a pervasive feature of heterogeneous problem solving. We introduce a notion of attribute interpretations that enables us to interpret first-order relational signatures into named system states, and develop a formal semantic framework based on 3-valued logic. We extend the assumption-base semantics of DPLs to accommodate diagrammatic reasoning by introducing general inference mechanisms for the valid extraction of information from diagrams, and for the incorporation of sentential information into diagrams. A rigorous big-step operational semantics is given, on the basis of which we prove that the framework is sound. We present examples of particular instances of Vivid in order to solve a series of problems, and discuss related work." @default.
- W2093149618 created "2016-06-24" @default.
- W2093149618 creator A5002762546 @default.
- W2093149618 creator A5034239421 @default.
- W2093149618 date "2009-10-01" @default.
- W2093149618 modified "2023-10-16" @default.
- W2093149618 title "Vivid: A framework for heterogeneous problem solving" @default.
- W2093149618 cites W1528699932 @default.
- W2093149618 cites W1555213554 @default.
- W2093149618 cites W1599112865 @default.
- W2093149618 cites W1977575686 @default.
- W2093149618 cites W2039610696 @default.
- W2093149618 cites W2045625243 @default.
- W2093149618 cites W2057326334 @default.
- W2093149618 cites W2059161671 @default.
- W2093149618 cites W2064650227 @default.
- W2093149618 cites W2066031431 @default.
- W2093149618 cites W2081146137 @default.
- W2093149618 cites W2129086101 @default.
- W2093149618 cites W2157242358 @default.
- W2093149618 cites W2167334791 @default.
- W2093149618 cites W2172093757 @default.
- W2093149618 cites W2240909318 @default.
- W2093149618 cites W4214906388 @default.
- W2093149618 cites W4235922110 @default.
- W2093149618 cites W4236539443 @default.
- W2093149618 cites W4249903311 @default.
- W2093149618 cites W4300454881 @default.
- W2093149618 doi "https://doi.org/10.1016/j.artint.2009.06.002" @default.
- W2093149618 hasPublicationYear "2009" @default.
- W2093149618 type Work @default.
- W2093149618 sameAs 2093149618 @default.
- W2093149618 citedByCount "13" @default.
- W2093149618 countsByYear W20931496182013 @default.
- W2093149618 countsByYear W20931496182014 @default.
- W2093149618 countsByYear W20931496182015 @default.
- W2093149618 countsByYear W20931496182016 @default.
- W2093149618 countsByYear W20931496182020 @default.
- W2093149618 countsByYear W20931496182023 @default.
- W2093149618 crossrefType "journal-article" @default.
- W2093149618 hasAuthorship W2093149618A5002762546 @default.
- W2093149618 hasAuthorship W2093149618A5034239421 @default.
- W2093149618 hasConcept C106624574 @default.
- W2093149618 hasConcept C134306372 @default.
- W2093149618 hasConcept C154945302 @default.
- W2093149618 hasConcept C17744445 @default.
- W2093149618 hasConcept C184337299 @default.
- W2093149618 hasConcept C199360897 @default.
- W2093149618 hasConcept C199539241 @default.
- W2093149618 hasConcept C2776214188 @default.
- W2093149618 hasConcept C2776359362 @default.
- W2093149618 hasConcept C33923547 @default.
- W2093149618 hasConcept C36503486 @default.
- W2093149618 hasConcept C41008148 @default.
- W2093149618 hasConcept C80444323 @default.
- W2093149618 hasConcept C94625758 @default.
- W2093149618 hasConceptScore W2093149618C106624574 @default.
- W2093149618 hasConceptScore W2093149618C134306372 @default.
- W2093149618 hasConceptScore W2093149618C154945302 @default.
- W2093149618 hasConceptScore W2093149618C17744445 @default.
- W2093149618 hasConceptScore W2093149618C184337299 @default.
- W2093149618 hasConceptScore W2093149618C199360897 @default.
- W2093149618 hasConceptScore W2093149618C199539241 @default.
- W2093149618 hasConceptScore W2093149618C2776214188 @default.
- W2093149618 hasConceptScore W2093149618C2776359362 @default.
- W2093149618 hasConceptScore W2093149618C33923547 @default.
- W2093149618 hasConceptScore W2093149618C36503486 @default.
- W2093149618 hasConceptScore W2093149618C41008148 @default.
- W2093149618 hasConceptScore W2093149618C80444323 @default.
- W2093149618 hasConceptScore W2093149618C94625758 @default.
- W2093149618 hasIssue "15" @default.
- W2093149618 hasLocation W20931496181 @default.
- W2093149618 hasOpenAccess W2093149618 @default.
- W2093149618 hasPrimaryLocation W20931496181 @default.
- W2093149618 hasRelatedWork W1518829206 @default.
- W2093149618 hasRelatedWork W1603485317 @default.
- W2093149618 hasRelatedWork W185898956 @default.
- W2093149618 hasRelatedWork W1974511108 @default.
- W2093149618 hasRelatedWork W1981590948 @default.
- W2093149618 hasRelatedWork W2021410963 @default.
- W2093149618 hasRelatedWork W2062551062 @default.
- W2093149618 hasRelatedWork W2162369028 @default.
- W2093149618 hasRelatedWork W2616769016 @default.
- W2093149618 hasRelatedWork W2747520774 @default.
- W2093149618 hasVolume "173" @default.
- W2093149618 isParatext "false" @default.
- W2093149618 isRetracted "false" @default.
- W2093149618 magId "2093149618" @default.
- W2093149618 workType "article" @default.