Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 39 matches
- 2023
- Natalya Weber, Werner Koch, Ozan Erdem, Tom Froese:
On the Use of Associative Memory in Hopfield Networks Designed to Solve Propositional Satisfiability Problems. SSCI 2023: 1352-1358 - Natalya Weber, Werner Koch, Ozan Erdem, Tom Froese:
On the use of associative memory in Hopfield networks designed to solve propositional satisfiability problems. CoRR abs/2307.16807 (2023) - 2022
- Wenjing Chang, Hengkai Zhang, Junwei Luo:
Predicting Propositional Satisfiability Based on Graph Attention Networks. Int. J. Comput. Intell. Syst. 15(1): 84 (2022) - Gaia Saveri:
Graph Neural Networks for Propositional Model Counting. ESANN 2022 - Gaia Saveri, Luca Bortolussi:
Graph Neural Networks for Propositional Model Counting. CoRR abs/2205.04423 (2022) - 2020
- Zuojun Xiong, Thomas Ågotnes:
Arbitrary Propositional Network Announcement Logic. DaLí 2020: 277-293 - 2018
- Fábio Gagliardi Cozman, Denis Deratani Mauá:
The complexity of Bayesian networks specified by propositional and relational languages. Artif. Intell. 262: 96-141 (2018) - Taro Sekiyama, Kohei Suenaga:
Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks. APLAS 2018: 309-328 - Cezary Siwek, Jakub Kowalski, Chiara F. Sironi, Mark H. M. Winands:
Implementing Propositional Networks on FPGA. Australasian Conference on Artificial Intelligence 2018: 133-145 - Taro Sekiyama, Kohei Suenaga:
Automated proof synthesis for propositional logic with deep neural networks. CoRR abs/1805.11799 (2018) - 2017
- Fábio Gagliardi Cozman, Denis Deratani Mauá:
On the complexity of propositional and relational credal networks. Int. J. Approx. Reason. 83: 298-319 (2017) - Ramadoss Janarthanan, Amit Konar, Aruna Chakraborty:
Propositional syntax and semantics induced knowledge re-structuring in a fuzzy logic network for ad hoc reasoning. Int. J. Approx. Reason. 82: 138-160 (2017) - Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais:
Finding Overlapping Communities in Networks Using Propositional Satisfiability. EDA 2017: 67-80 - Maryam Labaf, Pascal Hitzler, Anthony B. Evans:
Propositional Rule Extraction from Neural Networks under Background Knowledge. NeSy 2017 - 2016
- Martin Morterol:
Méthodes avancées de raisonnement en logique propositionnelle : application aux réseaux métaboliques. (Advanced reasoning methods in propositional logics: application to metabolic networks). University of Paris-Saclay, France, 2016 - Chiara F. Sironi, Mark H. M. Winands:
Optimizing Propositional Networks. CGW@IJCAI 2016: 133-151 - Fábio Gagliardi Cozman, Denis Deratani Mauá:
The Complexity of Bayesian Networks Specified by Propositional and Relational Languages. CoRR abs/1612.01120 (2016) - 2015
- Fábio Gagliardi Cozman, Denis Deratani Mauá:
Bayesian Networks Specified Using Propositional and Relational Constructs: Combined, Data, and Domain Complexity. AAAI 2015: 3519-3525 - Takuto Enomoto, Masaomi Kimura:
Construction of a Bayesian Network as an Extension of Propositional Logic. KDIR 2015: 211-217 - 2014
- Manoel V. M. França, Gerson Zaverucha, Artur S. d'Avila Garcez:
Fast relational learning using bottom clause propositionalization with artificial neural networks. Mach. Learn. 94(1): 81-104 (2014) - 2012
- Fábio Gagliardi Cozman, Cassio Polpo de Campos, Jaime Shinsuke Ide, José Carlos Ferreira da Rocha:
Propositional and Relational Bayesian Networks Associated with Imprecise and Qualitative Probabilistic Assesments. CoRR abs/1207.4121 (2012) - 2011
- Ridwan Al Iqbal:
Eclectic Extraction of Propositional Rules from Neural Networks. CoRR abs/1110.0214 (2011) - 2010
- Quang-Thang Dinh, Matthieu Exbrayat, Christel Vrain:
Discriminative Markov Logic Network Structure Learning Based on Propositionalization and chi2-Test. ADMA (1) 2010: 24-35 - 2009
- Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind:
Merging Qualitative Constraints Networks Using Propositional Logic. ECSQARU 2009: 347-358 - Sebastian Bader:
Extracting Propositional Rules from Feedforward Neural Networks by Means of Binary Decision Diagrams. NeSy 2009 - 2007
- Akihito Sudo, Manabu Tsuboyama, Chenli Zhang, Akihiro Sato, Osamu Hasegawa:
Pattern-Based Reasoning System Using Self-incremental Neural Network for Propositional Logic. ICONIP (1) 2007: 338-347 - Sebastian Bader, Steffen Hölldobler, Valentin Mayer-Eichberger:
Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach. NeSy 2007 - 2004
- Fábio Gagliardi Cozman, Cassio Polpo de Campos, Jaime Shinsuke Ide, José Carlos Ferreira da Rocha:
Propositional and Relational Bayesian Networks Associated with Imprecise and Qualitat. UAI 2004: 104-111 - 1996
- Masahiro Nagamatu, Torao Yanaru:
On the stability of Lagrange programming neural networks for satisfiability problems of propositional calculus. Neurocomputing 13(2-4): 119-133 (1996) - 1995
- Gadi Pinkas:
Reasoning, Nonmonotonicity and Learning in Connectionist Networks that Capture Propositional Knowledge. Artif. Intell. 77(2): 203-247 (1995)
skipping 9 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-03-29 09:30 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint