Register
|
Login
Full Text
Author
Title
Submit manuscript
About
Articles
Issues
Author Guidelines
Special Issues
Call for Papers
Imprint
Editorial Team
Contacts
Filter
Search
Full Text
Author
Title
by Subject
Topic A - General Literature
Topic B - Hardware
Topic C - Computer Systems Organization
Topic D - Software
Topic E - Data
Topic F - Theory of Computation
Topic G - Mathematics of Computing
Topic H - Information Systems
Topic I - Computing Methodologies
Topic J - Computer Applications
Topic K - Computing Milieux
Topic L - Science and Technology of Learning
Topic M - Knowledge Management
by Publication Date (dd/mm/yyyy)
from
to
by Publication Type
Research Article
(2635)
Editorial
(399)
by Journal
by Funding Agency
Clear filters
Powered by
19 items matching your criteria
Sort by:
Publication date newest
Publication date oldest
Total views
Unique views
Best match
Citations count
Highly accessed (last month)
Highly accessed (last 3 months)
Highly accessed (last 6 months)
Highly accessed (last year)
Filter By:
Subject: I.2.3 - Deduction and Theorem Proving
Clear All
Copy link
RSS Feed
RSS Feed filters articles only by Classification type, Date (from/to), Publication type
1
2
Select:
All
None
Download:
Citation
XML
PDF
Export format
RIS
BIBTEX
Bookends
EasyBib
EndNote (tagged)
EndNote 8 (xml)
Medlars
Mendeley
Papers
RefWorks Tagged
Ref Manager
Zotero
Mods (xml)
Plain text (txt)
Download
Research Article
On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic
Ashot Baghdasaryan
,
Hovhannes Bolibekyan
Part of: Challenges for Smart Environments - Human-Centered Computing, Data Science, and Ambient Intelligence I
10.3897/jucs.76563
28-11-2021
Unique: 1093 | Total: 2091
| Access Period:
1193-1202
HTML
XML
PDF
Research Article
Self-learning Mobile Robot Navigation in Unknown Environment Using Evolutionary Learning
Mohammed Algabri
,
Hassan Mathkour
,
Hedjar Ramdane
,
Mansour Alsulaiman
,
Khalid Al-Mutib
Part of: Advances of Scientific Research on Technology Enhanced Learning in Social Networks and Mobile Contexts: Towards High Effective Educational Platforms for Next Generation Education
10.3217/jucs-020-10-1459
01-10-2014
Unique: 599 | Total: 788
| Access Period:
1459-1468
HTML
XML
PDF
Research Article
Decision Making with Uncertainty Information Based on Lattice-Valued Fuzzy Concept Lattice
Li Yang
,
Yang Xu
10.3217/jucs-016-01-0159
01-01-2010
Unique: 385 | Total: 462
| Access Period:
159-177
HTML
XML
PDF
Research Article
A Demand Forecasting Methodology for Fuzzy Environments
Özgür Kabak
,
Füsun Ülengin
10.3217/jucs-016-01-0121
01-01-2010
Unique: 410 | Total: 502
| Access Period:
121-139
HTML
XML
PDF
Research Article
Modeling of Robustness Margins of the Control of a Predictive Control-Supervisory Architecture
Achraf Telmoudi
,
Lotfi Nabli
,
Radhi Hiri
10.3217/jucs-015-17-3231
01-11-2009
Unique: 385 | Total: 477
| Access Period:
3231-3245
HTML
XML
PDF
Research Article
Complexity Analysis of Ontology Integration Methodologies:a Comparative Study
Trong Duong
,
Geun-Sik Jo
,
Jason Jung
,
Ngoc Nguyen
10.3217/jucs-015-04-0877
28-02-2009
Unique: 383 | Total: 475
| Access Period:
877-897
HTML
XML
PDF
Research Article
An IP Core and GUI for Implementing Multilayer Perceptron with a Fuzzy Activation Function on Configurable Logic Devices
Alfredo Rosado-Muñoz
,
Luis Gomez-Chova
,
Joan Francés
10.3217/jucs-014-10-1678
28-05-2008
Unique: 396 | Total: 475
| Access Period:
1678-1694
HTML
XML
PDF
Research Article
Co-evolution for Communication: An EHW Approach
Yasser Damavandi
,
Karim Mohammadi
10.3217/jucs-013-09-1300
28-09-2007
Unique: 334 | Total: 399
| Access Period:
1300-1308
HTML
XML
PDF
Research Article
Constraint Programming Architectures: Review and a New Proposal
Jacques Robin
,
Jairson Vitorino
,
Armin Wolf
10.3217/jucs-013-06-0701
28-06-2007
Unique: 370 | Total: 461
| Access Period:
701-720
HTML
XML
PDF
Research Article
Operational/Interpretive Unfolding of Multi-adjoint Logic Programs
Pascual Julián
,
Ginés Moreno
,
Jaime Penabad
10.3217/jucs-012-11-1679
28-11-2006
Unique: 367 | Total: 470
| Access Period:
1679-1699
HTML
XML
PDF
Research Article
Creation and Evaluation of Fuzzy Knowledge-base
Ágnes Achs
10.3217/jucs-012-09-1087
28-09-2006
Unique: 334 | Total: 398
| Access Period:
1087-1103
HTML
XML
PDF
Research Article
Automated Support for Enterprise Information Systems
John Andrew Andrew Van Der Poll
,
Paula Kotzé
,
Willem Labuschagne
10.3217/jucs-010-11-1519
28-11-2004
Unique: 367 | Total: 491
| Access Period:
1519-1539
HTML
XML
PDF
1
2
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK