Filters








1,676 Hits in 3.3 sec

A blackboard architecture for guiding interactive proofs [chapter]

Christoph Benzmüller, Volker Sorge
<span title="">1998</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The acceptance and usability of current interactive theorem proving environments is, among other things, strongly influenced by the availability of an intelligent default suggestion mechanism for commands  ...  In this paper we present a new agent-based mechanism that independently observes the proof state, steadily computes suggestions on how to further construct the proof, and communicates these suggestions  ...  We are convinced that the described Blackboard architecture can form a suitable basis for a distributed interactive theorem proving environment in which as many as possible of the available, but in traditional  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0057438">doi:10.1007/bfb0057438</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4l3yjelfwfgannuqgx7jdnk4ma">fatcat:4l3yjelfwfgannuqgx7jdnk4ma</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070611010211/http://www.ags.uni-sb.de/~chris/papers/C4.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6f/6f/6f6f6b474e76b713d666e3096eda9b37f694aeed.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0057438"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

System Description: Multi A Multi-strategy Proof Planner [chapter]

Andreas Meier, Erica Melis
<span title="">2005</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Architecture In order to allow for the flexible cooperation of the independent strategies guided by meta-reasoning, Multi uses a blackboard architecture.  ...  Fig. 1 . 1 Multi's blackboard architecture.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11532231_18">doi:10.1007/11532231_18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nudbzsspfnbzdfe2kg32quynbi">fatcat:nudbzsspfnbzdfe2kg32quynbi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060928063021/http://www.activemath.org/pubs/Meieretal-Multi-CADE20-2005.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8f/3a/8f3a7a95923a9b4778c8e98aefa1d2bd27503f63.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11532231_18"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Resource Adaptive Agents in Interactive Theorem Proving [article]

Christoph Benzmueller, Volker Sorge
<span title="2009-01-23">2009</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We introduce a resource adaptive agent mechanism which supports the user in interactive theorem proving.  ...  The mechanism uses a two layered architecture of agent societies to suggest appropriate commands together with possible command argument instantiations.  ...  Acknowledgements We thank Serge Autexier and Christoph Jung for stimulating discussions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/0901.3585v1">arXiv:0901.3585v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tb3h3qqk4japhf7xeacoyda45i">fatcat:tb3h3qqk4japhf7xeacoyda45i</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-0901.3585/0901.3585.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/0901.3585v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Critical Agents Supporting Interactive Theorem Proving [chapter]

Christoph Benzmüller, Volker Sorge
<span title="">1999</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We introduce a resource adaptive agent mechanism which supports the user of an interactive theorem proving system.  ...  The mechanism, an extension of 5 , uses a two l a yered architecture of agent societies to suggest applicable commands together with appropriate command argument instantiations.  ...  Acknowledgments We would like to thank Serge Autexier and Christoph Jung for stimulating discussions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48159-1_15">doi:10.1007/3-540-48159-1_15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/26oh7zrayvbwxmd35e5jqvyidq">fatcat:26oh7zrayvbwxmd35e5jqvyidq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705162032/http://www.cs.bham.ac.uk/~vxs/publications/1999/epia99.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c4/1a/c41a0f159dc725411c1fa83ee8f604c06e1ccaab.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48159-1_15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Bridging Theorem Proving and Mathematical Knowledge Retrieval [chapter]

Christoph Benzmüller, Andreas Meier, Volker Sorge
<span title="">2005</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We also present an attempt at a concurrent mediator between a knowledge base and a proof planning system.  ...  But these databases are either specialized for a single client, or if the knowledge is stored in a general database, the services this database can provide are usually limited and hard to adjust for a  ...  The architecture consists of two layers of blackboards: The lower layer of the architecture consists of a set of rule blackboards, one for each inference rule.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-32254-2_17">doi:10.1007/978-3-540-32254-2_17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ipsxzqljbvf43iquykypekuhtq">fatcat:ipsxzqljbvf43iquykypekuhtq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070611000911/http://www.ags.uni-sb.de/~chris/papers/B2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a8/56/a8561a1de5c653b3369428509ebe1010ed4e6ecc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-32254-2_17"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Proof Development with Ωmega [chapter]

Jörg Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann (+5 others)
<span title="">2002</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Special features of Ωmega include (1) facilities to access a considerable number of different reasoning systems and to integrate their results into a single proof structure, (2) support for interactive  ...  proof development through some non-standard inspection facilities and guidance in the search for a proof, and (3) methods to develop proofs at a knowledge-based level.  ...  Ω-Ants is based on a hierarchical blackboard upon which data about the current proof state is collected. It is computed by concurrent computational threads, which communicate with the blackboard.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-45620-1_12">doi:10.1007/3-540-45620-1_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/v7v3rbix4zfinfqvvn4cbawnqe">fatcat:v7v3rbix4zfinfqvvn4cbawnqe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040805013054/http://www.ags.uni-sb.de:80/~cp/p/omega/all.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d9/b4/d9b4a8ba38b5d842c5fb938b87b2d92c8d1284fa.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-45620-1_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Software Architecture to Facilitate the Creation of DRM Systems

Koen Buyens, Sam Michiels, Wouter Joosen
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/iziq5tdnabbczezynz7xdk7uma" style="color: black;">2007 4th IEEE Consumer Communications and Networking Conference</a> </i> &nbsp;
Although various publications confirm the need for a generic DRM software architecture, we observe that current efforts to define a DRM architecture do not always provide sufficient support to enable the  ...  This is a considerable problem that implies a crucial challenge for the evolution of DRM, given the impact of a software architecture on the functional and non-functional qualities of the implementation  ...  The authors are very grateful to Ann Heylighen for her valuable comments on the paper and for proof reading the text.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ccnc.2007.193">doi:10.1109/ccnc.2007.193</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ccnc/BuyensMJ07.html">dblp:conf/ccnc/BuyensMJ07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/57eusxy53feg5jusdu6jhrr6sa">fatcat:57eusxy53feg5jusdu6jhrr6sa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706055000/https://lirias.kuleuven.be/bitstream/123456789/146784/1/CCNC2007-DRM.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3a/82/3a8282aa3e59552d13903320dfe40c921b028881.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ccnc.2007.193"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A Prototype of a Context-Based Architecture for Intelligent Home Environments [chapter]

Pablo A. Haya, Germán Montoro, Xavier Alamán
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The generated context information provides a common view of the world. A blackboard architecture allows to share this context information and a context model is proposed to represent it.  ...  This paper presents a proposal of a context-based architecture to achieve the required synergy among the ubiquitous computing devices of an intelligent environment.  ...  We propose a context model as a world model (see section 3) and a blackboard architecture [26] (see section 4) as context repository and communication mechanism.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30468-5_30">doi:10.1007/978-3-540-30468-5_30</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5vd33hncenfwxehdixboyt5c4e">fatcat:5vd33hncenfwxehdixboyt5c4e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20051025061011/http://odisea.ii.uam.es:80/papers/hma_coopis04.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9c/7b/9c7b5e012f76091e7520881f260df77aaf6284c6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30468-5_30"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Towards an agent-based framework for guiding design exploration

J. Andres Diaz-Pace, Len Bass, Felix Bachmann, Phil Bianco
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dj7g645z6zfl5lut4iwy5walyu" style="color: black;">Proceedings of the 2008 international workshop on Recommendation systems for software engineering - RSSE &#39;08</a> </i> &nbsp;
The approach is exemplified with an experimental design assistant for software architecture design.  ...  A modality of assistance is that the tool criticizes the current design and provides the designer with recommendations for improving it.  ...  As a proof of concept, we have recently implemented a CBR system for Seeker idem Search strategy based on a "maxmin" decision rule for the design tree.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1454247.1454264">doi:10.1145/1454247.1454264</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigsoft/Diaz-PaceBBB08.html">dblp:conf/sigsoft/Diaz-PaceBBB08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/46bwpn7ezvhjtiybhnryqawu3a">fatcat:46bwpn7ezvhjtiybhnryqawu3a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20090115223954/http://pages.cpsc.ucalgary.ca/~zimmerth/rsse-2008/papers/p45-diaz-pace.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/bc/18/bc18762e0ddbde0c7b34df16f68266d293d90045.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1454247.1454264"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Agent-based expert assistance for visual problem solving

Erika Rogers, Robin R. Murphy, Barb Ericson
<span title="">1997</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/udh3bimsxzd53iatb4uchhwvwm" style="color: black;">Proceedings of the first international conference on Autonomous agents - AGENTS &#39;97</a> </i> &nbsp;
A proof-of-concept prototype for teleoperation has been developed based on sensor data scenarios extracted from two dierent mobile robots.  ...  This paper presents a domain-independent architecture for facilitating visual problem solving between robots or softbots and humans.  ...  blackboard database changes (e.g., a frame is instantiated on a panel), or events that occur for user-dened purposes.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/267658.267690">doi:10.1145/267658.267690</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/agents/RogersME97.html">dblp:conf/agents/RogersME97</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lli6gpwxt5hkff46wu46kclpqa">fatcat:lli6gpwxt5hkff46wu46kclpqa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/19980415135818/http://www.sigart.acm.org:80/proceedings/agents97/A130/A130.PDF" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/12/1e/121e12be1802e91c691c7fc5b8a9c67ec3e5c36d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/267658.267690"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Hot: A concurrent automated theorem prover based on higher-order tableaux [chapter]

Karsten Konrad
<span title="">1998</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The second part discusses Hot's design that can be characterized as a concurrent blackboard architecture.  ...  The rst part of this paper introduces an improved variant of the calculus which closely corresponds to the proof procedure implemented in Hot.  ...  Concurrency and the Blackboard Architecture Hot has been implemented in Oz Saa98], a constraint programming language based on a new computation model providing a uniform foundation for higher-order functional  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0055140">doi:10.1007/bfb0055140</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tuxfckgj5bao5awpbid6rhe2ha">fatcat:tuxfckgj5bao5awpbid6rhe2ha</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190302124526/http://pdfs.semanticscholar.org/9c4b/c0f9d88a5aec081ca69f56ce40a37b33d23a.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9c/4b/9c4bc0f9d88a5aec081ca69f56ce40a37b33d23a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0055140"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Neural blackboard architectures of combinatorial structures in cognition

Frank van der Velde, Marc de Kamps
<span title="">2006</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/x2ambsfei5cjthmwpdat4t5jza" style="color: black;">Behavioral and Brain Sciences</a> </i> &nbsp;
This paper aims to show that these problems can be solved by means of neural "blackboard" architectures. For this purpose, a neural blackboard architecture for sentence structure is presented.  ...  These architectures are briefly discussed, together with an example of a combinatorial structure in which the blackboard architectures for language and vision are combined.  ...  A blackboard architecture consists of a set of specialized processors ("demons" ; Selfridge 1959 ) that interact with each other using a blackboard ("workbench," "bulletin board").  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0140525x06009022">doi:10.1017/s0140525x06009022</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/16542539">pmid:16542539</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yjti7u4gxnaojk6m6gspdasmka">fatcat:yjti7u4gxnaojk6m6gspdasmka</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808104911/http://www.comp.leeds.ac.uk/dekamps/publications/bbs.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/cf/84/cf84ef464bcda018e857d24d18745a08da3aeed9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0140525x06009022"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> cambridge.org </button> </a>

ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System [chapter]

Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Jörg Siekmann
<span title="">2010</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/56dzhz7o2bbjbmvjamgwzr5zy4" style="color: black;">Resource-Adaptive Cognitive Processes</a> </i> &nbsp;
In general, proof planning provides a natural basis for the integration of computational systems for both guiding the automated proof construction and performing proof steps.  ...  We present the research and development for the interaction with a human-users in Section 5.1 and discuss the interaction with other software systems in Section 5.2.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-89408-7_17">doi:10.1007/978-3-540-89408-7_17</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/series/cogtech/AutexierBDS11.html">dblp:series/cogtech/AutexierBDS11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t6vlyxgwcbe45ctq7oy3mlb7sy">fatcat:t6vlyxgwcbe45ctq7oy3mlb7sy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20081002141955/http://www.ags.uni-sb.de/~chris/papers/B10.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/46/93/46933e4dd6805beed520ff7c90dae1a7bbe41deb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-89408-7_17"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Visual search, visual streams, and visual architectures

Marc Green
<span title="">1991</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/icivrhnmgzcdjerqdqvofcj4xa" style="color: black;">Perception &amp; Psychophysics</a> </i> &nbsp;
The dominant theories of visual search assume that these modules form a "blackboard" architecture: a set of independent representations that communicate only through a central processor.  ...  A review of research shows that blackboard-based theories, such as feature-integration theory, cannot easily explain the existing data.  ...  The basic organization is a collection of independent "knowledge sources" that may interact only by "writing" on a common blackboard and whose interaction is controlled by a single "scheduler."  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3758/bf03212232">doi:10.3758/bf03212232</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/1758771">pmid:1758771</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5fqgnzcuqzbblj3pkgcfxmun5q">fatcat:5fqgnzcuqzbblj3pkgcfxmun5q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830201903/https://rd.springer.com/content/pdf/10.3758%2FBF03212232.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/27/3d/273dadd5a0cd77c7f667eb46f5e530817a46d348.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3758/bf03212232"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Architectural Innovations for Distance Learning

Paul Edward Boyd Gruhn
<span title="">2014</span> <i title="Avestia Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/onqxtpxajvb35kxtprys73e5hu" style="color: black;">International Journal of Virtual Worlds and Human Computer Interaction</a> </i> &nbsp;
This project focuses on solving the technical and architectural limitations for a specific community college adjunct faculty member when presented with his first online web development programming course  ...  Limited budget, administrative bureaucracy, and limited time to find and implement a solution to meet these various concerns, all factored into finding the best solution for this specific context.  ...  Christopher Tompkins, Pamela Miller, and Gregory Feeley for proof reading, kept me on task, and helping me to separate the wheat from the chaff, thank you.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.11159/vwhci.2014.007">doi:10.11159/vwhci.2014.007</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t5m23s7za5bexa5wx7fdwnkqrq">fatcat:t5m23s7za5bexa5wx7fdwnkqrq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180722042054/https://vwhci.avestia.com/2014/PDF/007.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ed/3f/ed3f651ddb44e4a5b998e7eec109d0cbcbc0582d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.11159/vwhci.2014.007"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 1,676 results